{"entities":{"Q4692931":{"pageid":6722508,"ns":120,"title":"Item:Q4692931","lastrevid":47165875,"modified":"2025-12-31T21:34:29Z","type":"item","id":"Q4692931","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 194964"}},"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":"Q4692931$1D862412-5E45-4194-BB18-4693CE06FDEF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"db284b8c6973b6647b16aa5e6e7a42cc994ece65","datavalue":{"value":"0723.68092","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4692931$FC692755-D32E-4F00-958E-3658E07351B3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"28319e3934f5b194abbcd5639e9eae3758e9e43c","datavalue":{"value":{"time":"+1993-06-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4692931$022D0DEF-FDED-4B17-963F-728646B5F6E6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4692931$7279DACE-43F4-412A-BBE6-E4F7E4DB4FAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"24aafcf24a21bd70cd3b62d3f5f72a6d0d82d816","datavalue":{"value":"68-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4692931$940CB201-7C36-4AB8-8F75-F0073D0E12C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"89a6721807d2106ad3a18783b4fcbc004e6a56c5","datavalue":{"value":"03B60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4692931$C23690D9-45AE-4230-9FE3-1F085EE7F693","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"71b5d43958653877fde284ddcb7345894645c80d","datavalue":{"value":"194964","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4692931$5FDFF6AE-E011-4E7A-84D5-C806EE6E1824","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b8a16fef6c1e5f514490c68c60e5dcbeaf8b8334","datavalue":{"value":"Default Reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q4692931$0230E3C3-844A-41D7-BB6B-693E2F366185","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6fb009637fa883d4096bf158bce27a92cf6e24b8","datavalue":{"value":"Knowledge Representation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4692931$08997BC6-B17A-49AB-9538-D1846EC9BAC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d9dd63228bb9c3771e55b60178312c3e1a78432c","datavalue":{"value":"first order languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q4692931$C65E38A1-B1D3-4BE0-A355-AD0A39330163","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0ad4e30a4b6614bec2965bd13e775da7d04aa8a4","datavalue":{"value":"order model theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4692931$3C3804D8-B0F6-42BD-B02A-E68142CA0C64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ad338c2f97d67a9249ac2ad9bfe588357c793ec","datavalue":{"value":"first order proof theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4692931$DC095C27-5DD6-4D12-8986-FC36CAE1AF82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"558e32a0884c5233110fd5a023672e91351272ab","datavalue":{"value":"Herbrand theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q4692931$1AA2D553-6045-421A-8F37-8DDF1EE8E799","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0132fab876e57abbaac29f0974e563db00b4bca4","datavalue":{"value":"prenex form theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q4692931$ED1A49B5-6BA1-48B8-9363-F696F626ECD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"886cd48ede84d1e4cded9add13d9fd87244a71f6","datavalue":{"value":"deduction theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q4692931$FC5F31E1-CB92-40AF-AB45-975077472CA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe51228e17b836f3520db7bc0de40e5086eebee3","datavalue":{"value":"soundness","type":"string"},"datatype":"string"},"type":"statement","id":"Q4692931$BFD452E8-82CA-412B-B87D-A140390C8E89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q4692931$5AF9F394-10F1-48C2-B473-DFAE57DB8DA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a813fd0e4aef1fda5e8e7d4b77b02104337d96e6","datavalue":{"value":"undecidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4692931$7E2ED089-10B9-431B-A4DE-792B92523573","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ea3391e4e0fdcac6bdc0dba45cd1c259fe315e31","datavalue":{"value":"semi-decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4692931$8640A7E4-910E-4447-9713-66079823A22A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"71df45fd99690bbb53c862594b145dd989a58d8e","datavalue":{"value":"nonmonotonic reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q4692931$5A3F1FE4-9F20-4429-A66F-2E4EF65113FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e519ef95cf189f7469d59ba572778b05f5399f74","datavalue":{"value":"Circumscription","type":"string"},"datatype":"string"},"type":"statement","id":"Q4692931$ADA5AA6C-DE8E-43E7-8FE6-9B8221B01130","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"576144dafb0c852b74e4ef827bfd405fb08a037d","datavalue":{"value":{"entity-type":"item","numeric-id":997051,"id":"Q997051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4692931$91BE8FDF-773A-402A-98CF-DEC4275F9772","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":"Q4692931$C905A238-C94C-47AF-AEB0-ED3754C0763A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3348d95c312c8de3b3b1a692fb71579eddd974bc","datavalue":{"value":{"entity-type":"item","numeric-id":4273952,"id":"Q4273952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4a915e0c247511716551c20cfff19808a36d90a9","datavalue":{"value":{"amount":"+0.8526914715766907","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":"Q4692931$2DBA7CD4-B82F-488A-9216-ED41E67BA0DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e1b59eda994332919944f28afdcd9126dbbf789e","datavalue":{"value":{"entity-type":"item","numeric-id":2734933,"id":"Q2734933"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e55219205fad11017f65bae80cd73b4970fed138","datavalue":{"value":{"amount":"+0.851921021938324","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":"Q4692931$E01E60E2-AD56-4ADA-B6AF-4F2005F1473E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"697800ff50fb1797ec5b248780c3e66893803e6d","datavalue":{"value":{"entity-type":"item","numeric-id":1103607,"id":"Q1103607"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e7b9d50150243f19042645a45c11e785e976c3c0","datavalue":{"value":{"amount":"+0.825847864151001","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":"Q4692931$FD36CFDD-6D61-4F7E-A843-FDCF2D47DD0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6ce40b5bac36005ee29e5cb9bf5151eae4e0d453","datavalue":{"value":{"entity-type":"item","numeric-id":4735175,"id":"Q4735175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"79dc3e2439138a0350baedccb857ec797a0c5412","datavalue":{"value":{"amount":"+0.8228758573532104","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":"Q4692931$861D54C9-41AF-468D-A70E-155B06C67667","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d57d8a97f95a5acc8b87cca68f729574adcd58cc","datavalue":{"value":{"entity-type":"item","numeric-id":4236375,"id":"Q4236375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"30c4c3fa842bc1f98570e50ccebd9acdb1586559","datavalue":{"value":{"amount":"+0.8218705058097839","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":"Q4692931$BBD1444A-4D14-4D04-889C-A67BE6D3D031","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4692931","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4692931"}}}}}