{"entities":{"Q2364331":{"pageid":2375074,"ns":120,"title":"Item:Q2364331","lastrevid":72605724,"modified":"2026-04-14T06:02:58Z","type":"item","id":"Q2364331","labels":{"en":{"language":"en","value":"Undecidable iterative propositional calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6748451"}},"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":"Q2364331$65621F0E-1FB5-4785-A3A3-5AFA6F9953F2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"685eea4f30747a8c016e6538d02811f903c02b8c","datavalue":{"value":{"text":"Undecidable iterative propositional calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2364331$CDA4F729-B062-44D1-9559-16662FD5F838","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5ea7e8254d2fdddf7f2efd010a34ecc3cf9bf078","datavalue":{"value":"1396.03006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2364331$92F88AD3-E60F-4FBD-9E58-C8BF7353566D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6b58ef4b107cf93700b1f9bd56ae72fafc92fe5a","datavalue":{"value":{"entity-type":"item","numeric-id":549451,"id":"Q549451"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2364331$0EC53A10-D83A-4893-851F-50212AED4AD7","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ef3ca3322541db05049091162b21145bd512b130","datavalue":{"value":{"entity-type":"item","numeric-id":251873,"id":"Q251873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2364331$0B7FD094-03FD-4359-AE6F-AADA9924727F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"62e26106cac22eebe80c29038bb39eb76039e480","datavalue":{"value":{"time":"+2017-07-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2364331$ED7DFA22-5462-44F0-8C3D-1ABD671D2526","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e22320de5ca77fe4116b8ebd16357f6a4906ce76","datavalue":{"value":"https://arxiv.org/abs/1504.05728","type":"string"},"datatype":"url"},"type":"statement","id":"Q2364331$70E23200-A062-465F-8A79-7A505EEE283B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"419d6f2b09c39920e34f63114ff159a2f0a01812","datavalue":{"value":"03B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2364331$2ACD9522-574E-4AD0-A498-3F0E0FA9124F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2364331$B3E3FE7D-D3A6-4978-8C44-E9ADCB1962DC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8711267c2f903dd1f3dd9399db4eeb2ea0c76a5a","datavalue":{"value":"6748451","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2364331$2D403C32-F84E-4691-B835-E8EF0C49AD64","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d60cc493cebccb0b04a2fa08217cdf2617eab659","datavalue":{"value":"iterative propositional calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q2364331$2C5F6768-3C39-418F-909A-E3073BE9EE56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"616fac9c0966d902fb69c99c4a28d8c3dc06f5b0","datavalue":{"value":"derivability problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q2364331$FE64492E-60D2-4B42-AD40-A4D360635C18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7430eb9a52b3af737d149b25fcf12d3f749a3170","datavalue":{"value":"expressibility problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q2364331$0CF899CC-9CC9-4B9C-ACDF-C4C47ABF5C1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"246ff3fd887061c8c3ce902c0efbb2e1b8a668ea","datavalue":{"value":"Post's correspondence problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q2364331$69D5FC31-8DA6-453C-9CE1-4DFA3F384117","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":"Q2364331$14CAF2AB-F1C5-49A4-8198-90666DA69A6F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ae3f2b510f40a84323e37ae648eb17e3b44645f0","datavalue":{"value":"W2963995786","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2364331$96A3F398-F842-4E4E-8B7B-D9FC2504F936","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e5dc9768010dcf1d023863d74ba9463c4c6d5fb","datavalue":{"value":{"entity-type":"item","numeric-id":4953233,"id":"Q4953233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2364331$B2595491-BA17-4F49-9E7B-BE7BF8A600DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1189b6b5c661e454e4f7fb9fbca654dba187c7c4","datavalue":{"value":{"entity-type":"item","numeric-id":5551159,"id":"Q5551159"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2364331$DC56A63A-B4B1-4A14-B189-5852CD39AA78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"253178b6e7ba89f51b1791b43a77673c4266db8b","datavalue":{"value":{"entity-type":"item","numeric-id":4644516,"id":"Q4644516"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2364331$7A84996F-5B1F-4F1C-B272-DDBD10A5425C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e7764b99a5c7415741b11fc0261b63fda92b074","datavalue":{"value":{"entity-type":"item","numeric-id":4644571,"id":"Q4644571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2364331$C2193711-A4BA-46D2-9EEF-E250ADBC3666","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0ddb8337ec639a58a300060add67a5f333685e46","datavalue":{"value":{"entity-type":"item","numeric-id":3952095,"id":"Q3952095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2364331$4799837F-545D-4ACE-AB5C-B5319D483367","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d1a38b6be9991cca841065993eb308b0c595d6cb","datavalue":{"value":{"entity-type":"item","numeric-id":3534980,"id":"Q3534980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2364331$B9B13F5B-50FF-4771-92C4-BFEAA55AEBB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7bae7cce858ebda0493cc0d54b8b294807c7e4da","datavalue":{"value":{"entity-type":"item","numeric-id":5525337,"id":"Q5525337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2364331$95D4B993-0890-46D3-B93D-F5635FF6D0AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"447fb134ad8d470ad7aa6193f526b20f7ece88e4","datavalue":{"value":{"entity-type":"item","numeric-id":5650671,"id":"Q5650671"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2364331$F0A70B16-D54A-4C6C-9B5D-581771C1B02C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c2ca506c9b260bd238d26800ebdf0f9079cc0036","datavalue":{"value":{"entity-type":"item","numeric-id":5183558,"id":"Q5183558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2364331$CF64D3A9-8B2C-44A2-BCB6-7802BE40D711","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"29a8d14eae1fab181499f44d4720082adebedfb9","datavalue":{"value":{"entity-type":"item","numeric-id":5845383,"id":"Q5845383"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2364331$D4866632-602F-489E-B0AC-3FDE2846A660","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"67f63602864ba0f92673863c4e08e8c412c43a5e","datavalue":{"value":{"entity-type":"item","numeric-id":5845381,"id":"Q5845381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2364331$1ED1DF37-E406-4DB2-A917-D21F2CAEA0E5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2487c8a497748a7acc715de9b10c89d1ebc90d9f","datavalue":{"value":"10.1007/S10469-016-9396-3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2364331$AAC6A3BC-48B4-47E4-BCD5-DA121BA7CE0E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e16d2ee0384adde2b477e48e189c2416a99e4645","datavalue":{"value":{"entity-type":"item","numeric-id":4644571,"id":"Q4644571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b5f7be95e3215e0301a1a25da495cdba45064cb9","datavalue":{"value":{"amount":"+0.9260036","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2364331$32ACE9F6-5389-423D-AF30-74D038C6B48C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7e7a8383d2a68bea8281859b24922936482b9271","datavalue":{"value":{"entity-type":"item","numeric-id":3189649,"id":"Q3189649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"48e494eb9942516adb6e3d15c62e5276f4c60629","datavalue":{"value":{"amount":"+0.90417564","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2364331$7E09DDD6-3260-4E85-9694-52C8E57C935D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dcbccae06c8006755b7d9c5e9a2ca64089e33274","datavalue":{"value":{"entity-type":"item","numeric-id":1815411,"id":"Q1815411"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"02088cb9301c211db1872438f0d78bb13e8fa0e4","datavalue":{"value":{"amount":"+0.90191025","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2364331$70D6F9CE-623F-4E20-82FA-D98335992F51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3595cd3bf43b779d78ca12928077cf550fb67237","datavalue":{"value":{"entity-type":"item","numeric-id":4943504,"id":"Q4943504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a38977a9947ff7bb51c4a184fbce156759e8f8df","datavalue":{"value":{"amount":"+0.8967725","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2364331$ECCB5D7A-43A5-4AB5-8DC1-FDCA6793F3D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dc3e79a6175c639ed75d8b0aa9af52759c22e853","datavalue":{"value":{"entity-type":"item","numeric-id":757339,"id":"Q757339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"53909f8092c0761ad2f601d7ea9b6f92d6f3303b","datavalue":{"value":{"amount":"+0.89675784","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2364331$65E0064C-A83A-40CA-B603-D55FDE0A6B41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"10ea692c8b39b39036700bd12b02210c733e8444","datavalue":{"value":{"entity-type":"item","numeric-id":4644516,"id":"Q4644516"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fa8a5c62dfa2c1f01cc1b936607807bb3b3c8b2f","datavalue":{"value":{"amount":"+0.8963529","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2364331$A7DF56C8-6B6B-48C6-A437-6EF8C74B5C50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"529f0e58fc23fe8fb5f187ffefdb6f6dd8b70ed1","datavalue":{"value":{"entity-type":"item","numeric-id":2914598,"id":"Q2914598"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7ddabd57e5915dbc8fa5bbc395856b59232572c1","datavalue":{"value":{"amount":"+0.88899064","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2364331$42E8FF0C-0338-423A-8BAF-F52FEADCBA86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dd9efd4c5931241b71cc2371d2e3ceb5535ee6e2","datavalue":{"value":{"entity-type":"item","numeric-id":805607,"id":"Q805607"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"caa669d198f76991ba5504a9f107acc435046eaa","datavalue":{"value":{"amount":"+0.88638437","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2364331$036497A0-5445-4CC4-A637-960118A0C059","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c659bec14680488a0600fc4c8e6bd55236476eb9","datavalue":{"value":{"entity-type":"item","numeric-id":5015208,"id":"Q5015208"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c43cca5dbc14eab67f421dccfac5393a1785c8c0","datavalue":{"value":{"amount":"+0.88419604","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2364331$7D5528D8-81F2-422E-B190-F67A1A4DAA1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"25e83a047cca94fa4efc9b9fd0436f1a812f656c","datavalue":{"value":{"entity-type":"item","numeric-id":1694454,"id":"Q1694454"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"130a8c803312f7a38ec16bb333ba94ad4890561e","datavalue":{"value":{"amount":"+0.8829401","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2364331$A412AEB1-4B4B-4393-8D1A-07BD87565F80","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Undecidable iterative propositional calculus","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Undecidable_iterative_propositional_calculus"}}}}}