{"entities":{"Q1583789":{"pageid":1594529,"ns":120,"title":"Item:Q1583789","lastrevid":72249963,"modified":"2026-04-14T03:37:59Z","type":"item","id":"Q1583789","labels":{"en":{"language":"en","value":"Nonmonotonicity in (the metamathematics of) arithmetic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1523357"}},"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":"Q1583789$EEB1F2A3-108D-4693-BE0C-4D238AF265EB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5b1602cd7a8ea31ec44ac05fbff4cfa19fa5a154","datavalue":{"value":{"text":"Nonmonotonicity in (the metamathematics of) arithmetic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1583789$06C3D7E5-6EA9-4E61-B45E-FFE1A1A57899","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ff0860620d450d55935e9e769273bb8a673c616f","datavalue":{"value":"0962.03021","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1583789$7043D108-60DA-425D-9503-CCFC937CB334","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"005f61ec11147accf896cc0ed7aa8c0fb6d38533","datavalue":{"value":"10.1023/A:1005505417416","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1583789$F3B70D42-80C0-47E2-9CB8-0CD15564FA3A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"dc6598d348fec65eb7fc32f80f55d5f1e07520be","datavalue":{"value":{"entity-type":"item","numeric-id":1583788,"id":"Q1583788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1583789$B8B30D45-6193-460B-9BF5-8A18E0B13ECF","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f250921565a0fac08712ded5da7371b9cfcccefe","datavalue":{"value":{"entity-type":"item","numeric-id":175260,"id":"Q175260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1583789$338508F0-31EF-4300-B495-E81EE7D063FB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"813cbcd07cc85185a006be56944eed3aabcf5f7b","datavalue":{"value":{"time":"+2000-10-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1583789$3C2E7245-8706-4003-AECB-1790B508F315","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"89a6721807d2106ad3a18783b4fcbc004e6a56c5","datavalue":{"value":"03B60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1583789$F38F3BFB-9842-47B5-9D64-C95AF10EB177","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1583789$76D877E8-7F51-49E5-A98D-D4CB8725630F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8612eb3fa5372f4e40168b827ed17a01cee8d8f6","datavalue":{"value":"03F50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1583789$D74B060A-6060-4EA5-B2D4-7549B3408F59","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"dcd4cdb9b6dda86376e8ed1c3fab913cc500d521","datavalue":{"value":"1523357","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1583789$6D5E2F62-4118-4A88-8730-A480F3B58278","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d72d4b280425c904f9e4dda789ed703533772a11","datavalue":{"value":"nonmonotonic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1583789$3289C3C3-7175-4874-892E-3B2105D7C4A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c0ee896cfb1ff087f610f0ba90e90efefd52ab1b","datavalue":{"value":"metamathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1583789$39D5DAC5-F566-41E1-91F6-2793C055DDE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"71df45fd99690bbb53c862594b145dd989a58d8e","datavalue":{"value":"nonmonotonic reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q1583789$3E05C6BE-8E82-4F86-86AD-10FDA41A72D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"154f9d43b49717f1f5b885fd8e2910f2b21aab5c","datavalue":{"value":"antitonic theory extensions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1583789$A769E180-CFD3-4C42-A05E-E0C430957D34","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":"Q1583789$C2A9EA2D-8A6B-41C4-9E18-99687E198E5C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c980f95d6c9840aa7e7fc9a83eb044faf11f7a33","datavalue":{"value":{"entity-type":"item","numeric-id":4729762,"id":"Q4729762"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"688c16427f885df6c6c6e6f75f72670770ba65d7","datavalue":{"value":{"amount":"+0.8128191828727722","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":"Q1583789$0AB0CBAC-99EA-4CFA-9A45-D7EC38E14620","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7c5803efa67fa2b7ae216e286b8e96c250a6bb08","datavalue":{"value":{"entity-type":"item","numeric-id":1356221,"id":"Q1356221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"217b862217e5ba529e0e5c5397e8733fe8381122","datavalue":{"value":{"amount":"+0.8023848533630371","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":"Q1583789$1C03F72D-3138-4729-A1C7-5F3545F98875","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a52128a4ff9df8ad00c67ec7b2a15fe86cfaa41a","datavalue":{"value":{"entity-type":"item","numeric-id":1174512,"id":"Q1174512"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c673e527527aeab934bb89f9a692d30dc2b1962c","datavalue":{"value":{"amount":"+0.7776264548301697","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":"Q1583789$F4FE299B-F552-4477-B4A6-E346FCCFEE37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"155b034c58f4e3f691fa5f0acd76672a7bb52384","datavalue":{"value":{"entity-type":"item","numeric-id":1060866,"id":"Q1060866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ad39eacf1c66e45e34708b10a8d2eb6ae1aefbcd","datavalue":{"value":{"amount":"+0.7732105851173401","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":"Q1583789$030EAFA3-7580-441C-9E8D-AB163F173DCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2f24a8ea7079936d4fc7b19d24a28be1aef0a8be","datavalue":{"value":{"entity-type":"item","numeric-id":4323005,"id":"Q4323005"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9553d25b2883ac54f3578dbca3f3920873b17c19","datavalue":{"value":{"amount":"+0.7717734575271606","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":"Q1583789$212B96EF-DC97-455F-AF82-E81A742D5E28","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Nonmonotonicity in (the metamathematics of) arithmetic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Nonmonotonicity_in_(the_metamathematics_of)_arithmetic"}}}}}