{"entities":{"Q4273676":{"pageid":6303277,"ns":120,"title":"Item:Q4273676","lastrevid":47215105,"modified":"2026-01-01T00:59:39Z","type":"item","id":"Q4273676","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 475429"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4273676$3FC6148B-1A3B-4E27-8427-7627F6166AFA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4b85af4343ed4f6201c8f71bd66a473db118f2b3","datavalue":{"value":"0798.68151","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4273676$0CC423D6-9170-418D-9AF7-5F1814C46B91","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d25ac9b447f10c901ed8f4d14165c543498fe122","datavalue":{"value":{"entity-type":"item","numeric-id":579924,"id":"Q579924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4273676$AFBFB436-E73C-46C5-9859-1B782778ADCA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"984246259ef39e1986d26ac7775e6cceef3e99e4","datavalue":{"value":{"time":"+1994-10-31T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4273676$77AA37AB-9C8F-449E-B906-D7AFCC41995B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4273676$9C5A36B7-9958-4801-B4DC-2E8D4DB1B00B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4273676$3F0FE6EF-4E9B-47D3-B57A-71001355BA1E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0e230a44ef3bbc88d009530142ccaf7c36e9ec59","datavalue":{"value":"475429","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4273676$F402199D-5FC5-4248-BDB0-534A7B375A97","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e97175fd5d747e7d34cbcc625e3abab53d84653d","datavalue":{"value":"automated theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q4273676$23101278-7FC4-45E7-8DF5-11BAAB07FB5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a20a062630d1bb5cf9aa5d669cd08fbd3eee7671","datavalue":{"value":"automated deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q4273676$B1F216C3-3061-4B6B-9E3D-EE08E290A61B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"636a15aa26650cdabdd9c82189158b365d2bf53f","datavalue":{"value":"Skolem form","type":"string"},"datatype":"string"},"type":"statement","id":"Q4273676$AE62CEB8-9734-4361-8D5F-027F76DA6754","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"729c98170c866eaef73c9881228763e98c34c984","datavalue":{"value":"Skolem- Herbrand-G\u00f6del theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q4273676$E0997B96-5B27-409F-9834-4116262903AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c3922eb0b8235fb2b824bcb3eaa0c8d395dbd512","datavalue":{"value":"unification","type":"string"},"datatype":"string"},"type":"statement","id":"Q4273676$418ECA69-8526-48BC-9C25-74FF253A2DA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4273676$935D9441-8311-4298-A9F0-C0CBA2FFBB25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cf1bbad404b660dcc4f7e1f74269a25b269f6b2f","datavalue":{"value":"NP-completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q4273676$BE553C92-FB33-4A40-95A9-4AEA5ADD0DF4","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1aec27d540e360c78ddad230e6e300ced62bdec3","datavalue":{"value":{"entity-type":"item","numeric-id":18433,"id":"Q18433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4273676$61C98526-B38D-4803-80A9-ECBD35FE84B2","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4273676$584CA808-69C6-48A4-83AB-26B6E5856B0C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"33324ca5b285eb482b872ec714660cb6a04226a9","datavalue":{"value":{"entity-type":"item","numeric-id":4010356,"id":"Q4010356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0faeb8b56c60a19be7b6e20936721840d8efa26c","datavalue":{"value":{"amount":"+0.8709874153137207","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4273676$98C4ADBA-9922-4A73-BDEF-B99903F705A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ea5556ec422efc4a99890706aa810af05d5f1fd6","datavalue":{"value":{"entity-type":"item","numeric-id":3833654,"id":"Q3833654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f0b9e44ebc15e6b5e7618a233ae5a1d7936dd4f1","datavalue":{"value":{"amount":"+0.8689442276954651","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4273676$7AA23A7B-EC70-44ED-8166-BFCB5A116DA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3f5f63165797df02afbdca6f1a4af2220cf45cf3","datavalue":{"value":{"entity-type":"item","numeric-id":3971290,"id":"Q3971290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a96200bccece4419f34f7a46bb134a753d368e0b","datavalue":{"value":{"amount":"+0.8523913621902466","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4273676$754BA230-562D-4143-9720-4A23164765FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fdf4367f368197be4f8de61acc77e4f56dadd649","datavalue":{"value":{"entity-type":"item","numeric-id":1189467,"id":"Q1189467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"288709a3c7d39cb7bff4fd6b63962cde80dc36d3","datavalue":{"value":{"amount":"+0.8487896919250488","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4273676$20700F87-0CE5-42C5-A733-3A8A56755E61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"833e8e0f00263c5abbcbe67732c6e2af666995f7","datavalue":{"value":{"entity-type":"item","numeric-id":4302815,"id":"Q4302815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6baa6ef40306e222eac512d03b7c574bb08e8699","datavalue":{"value":{"amount":"+0.8268143534660339","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4273676$2280B247-6F3B-47B6-8D5B-CE5CF5503044","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4273676","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4273676"}}}}}