{"entities":{"Q4364394":{"pageid":6393993,"ns":120,"title":"Item:Q4364394","lastrevid":46511895,"modified":"2025-12-24T22:50:26Z","type":"item","id":"Q4364394","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1088045"}},"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":"Q4364394$3B454B07-156B-4CBC-8581-C51FB6E7B627","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c4c52972000cda3029765a6bf769c193d9ecfa06","datavalue":{"value":"0885.03029","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4364394$DEFB7F6E-86C7-43A2-BEFD-D5DED1DF31E9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"efc9ea3edf0950b7709b905c390f4109373f089e","datavalue":{"value":{"entity-type":"item","numeric-id":235594,"id":"Q235594"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4364394$3501D0C5-3D7C-45F5-8D77-6BBAC4F9554D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b83ed7e99eb27f1c55fbf572cae2ecab18119ca4","datavalue":{"value":{"entity-type":"item","numeric-id":428881,"id":"Q428881"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4364394$4C64D742-47BA-4CE0-8646-2848892252B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4814c298f3dfd5efa03946518b6acc78484dc16c","datavalue":{"value":{"entity-type":"item","numeric-id":4364393,"id":"Q4364393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4364394$435D65F1-DC5F-466C-A2C2-58149F40DB4D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5428ed54f73e0030d8e31bf1a0a854c10199b1ce","datavalue":{"value":{"time":"+1998-04-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4364394$4F26622E-06E3-420E-95C5-468CF0B8ED5D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4364394$06C5EB37-51B4-4797-A97B-A7357744B352","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4364394$9E07D8B5-9790-4F8E-A25F-CD2A8EC16DA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4364394$EBD1B555-0140-4130-8AA5-106C858E58BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4364394$8FEAB185-078F-4E42-9B15-EE6BEF049526","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fcb7a7487d6210475682c4b8d36da7e8409ce8ae","datavalue":{"value":"1088045","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4364394$B6E8FA26-93F2-4D11-B448-43A00FB679E2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7245057d33d9a959e820bafe53b372c083536e6","datavalue":{"value":"natural deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q4364394$C8B5CF3A-E9BE-416F-9467-80E8F8B65FFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6db30a59ab186bd1de9bd036d852f96617b0edad","datavalue":{"value":"Peano Arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4364394$01577D32-767F-4787-B941-71E10A5134C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d647b7d0db516c8c0c4d87ed862c9f5c5cc6fbba","datavalue":{"value":"programming-with-proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q4364394$2C5A821F-F690-44A4-B95B-6A298D31E8CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c80ea59eb0c4f37436fd77052ab8df29738387c","datavalue":{"value":"non-confluence","type":"string"},"datatype":"string"},"type":"statement","id":"Q4364394$B2DC4320-04F6-4FCC-957F-DA0D3BB1E55E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"df040f138da0195d6bf7ee04b2cedfdeb81adbb9","datavalue":{"value":"program specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q4364394$C2BAA666-8EE0-451B-ABA3-441FC753F594","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":"Q4364394$97226B9C-D7A1-46A3-8262-FB0ADD8E3606","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d54c5429376725a7f0fea24266881664bfa46b8d","datavalue":{"value":{"entity-type":"item","numeric-id":4490745,"id":"Q4490745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6ce86bd316d004a3c6e861fb2879cb24b4fdd56b","datavalue":{"value":{"amount":"+0.7749559879302979","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":"Q4364394$8D620A6E-B7BF-4786-B39F-B06A4ED9DFF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"01e0543f12dcc75b2e1908820bcde5d5ee0eb1eb","datavalue":{"value":{"entity-type":"item","numeric-id":1917084,"id":"Q1917084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"14aa0da3d4d57ef2b5d66591a274283059d533d5","datavalue":{"value":{"amount":"+0.7674804925918579","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":"Q4364394$2E8510C9-4FDD-4C39-9001-8951E303ECA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0285b1c03c9b3972ae14ca8db863da41233c811a","datavalue":{"value":{"entity-type":"item","numeric-id":3593501,"id":"Q3593501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"55e70f9c22769886c5dce3bffaf45f61b8194916","datavalue":{"value":{"amount":"+0.7322413325309753","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":"Q4364394$05FAC840-0EC7-411D-8C67-3684F22D4AD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9d9e9ec6b2cede43c610c23b53e50d77f5e52021","datavalue":{"value":{"entity-type":"item","numeric-id":4472466,"id":"Q4472466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0c0ec1f70dbb2d1eaa138d6519141cc37fe23c97","datavalue":{"value":{"amount":"+0.7277655601501465","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":"Q4364394$F7A027B0-B032-47E8-94D6-897F15CA0DB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2e653c6a3446968fd019febeccb6f5e0a749547d","datavalue":{"value":{"entity-type":"item","numeric-id":2757810,"id":"Q2757810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"80dba24db8de652457dc6c1e9d82214284b4211c","datavalue":{"value":{"amount":"+0.7249882221221924","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":"Q4364394$D0F04594-F82A-4759-96C6-AD8FE3D35496","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4364394","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4364394"}}}}}