{"entities":{"Q998105":{"pageid":999953,"ns":120,"title":"Item:Q998105","lastrevid":65821098,"modified":"2026-04-12T05:35:57Z","type":"item","id":"Q998105","labels":{"en":{"language":"en","value":"Extending a first order predicate calculus with partially defined iota terms"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5178642"}},"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":"Q998105$4A8CFEC7-50B6-4115-B379-82493FEA044B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fc94a8f7bfe602ef251b94b1f7cdd72f71e430b8","datavalue":{"value":{"text":"Extending a first order predicate calculus with partially defined iota terms","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q998105$DC49B41F-DFAC-4671-8454-3367ED1D0845","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"09b2b2dd0f326bb10894d5e3d136d4f03ea0ec98","datavalue":{"value":"1120.03009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q998105$86A61650-3F17-416E-BB6C-8D97CB4243BF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b167e3c8d7002b0efec95790a74e93d9f7f4cada","datavalue":{"value":{"entity-type":"item","numeric-id":998104,"id":"Q998104"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q998105$143F77D7-95D8-4E50-9E85-D770F27E33BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fbe94c692c76aec569a39b27b55519589f7ac126","datavalue":{"value":{"entity-type":"item","numeric-id":590723,"id":"Q590723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q998105$F58882DB-8C5F-4057-8D9B-307FBAE45ACE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c4f16ddc5cdb18d4f4fb3ee6d704d6609c3404ba","datavalue":{"value":{"entity-type":"item","numeric-id":223802,"id":"Q223802"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q998105$5CCBE2D5-AE36-44B5-92E5-2999F3881D29","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"afb98c4ec1048abba6e7f701413ea5fbc62888f9","datavalue":{"value":{"time":"+2007-08-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q998105$3BFDBD99-95AD-4B5C-9851-39C480DEE99C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b3d5eaa10a410cb25c42332a88765dc25611f57f","datavalue":{"value":"https://projecteuclid.org/euclid.bbms/1170347814","type":"string"},"datatype":"url"},"type":"statement","id":"Q998105$1E2AAFFF-7F93-46D6-89C3-F5D2089CB239","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q998105$C8F333BB-3FA6-4951-B5F2-682FFD695237","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c06e0874e30722381d620ef69fb36c407a01cb04","datavalue":{"value":"03B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q998105$4CF8574E-9A01-4F4B-A6A9-407543736C62","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e06938cd22f732ef89c3cd8932dbd62b9f100396","datavalue":{"value":"5178642","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q998105$D41F60E4-DE25-468A-BFC7-EDB7B9057EE4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"726354d56bf7fdc5e6ecc62482b9c43a9baa9e55","datavalue":{"value":"mechanisation of proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q998105$07C85DCC-CDA0-4ACF-82F6-73F12417DCEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c7d4aa0d3cf1745112ae7d594a2a5578f4e767f","datavalue":{"value":"sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q998105$DC0FEFBE-2636-43CF-AD2F-A19BD58464EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d31be1229374545ff94fd95ad2a5ce9870f120db","datavalue":{"value":"partial functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q998105$6F3CD228-F9CA-48FF-85CC-11AC0F719295","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c996370c0387428a853f39eeb89fc349f339f572","datavalue":{"value":"undefinedness","type":"string"},"datatype":"string"},"type":"statement","id":"Q998105$48F1C6F5-B3B7-4D81-B26A-7D5F8AA1706C","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":"Q998105$92934A50-CEBA-405D-B1E6-3EFEF38C50B7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3e43dbe1520a1337ef3145fb25110ab262401fdd","datavalue":{"value":{"entity-type":"item","numeric-id":5096142,"id":"Q5096142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0c41f10146a23667f2c363b61ef71b3b35cdf382","datavalue":{"value":{"amount":"+0.7864990234375","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":"Q998105$B9186DD1-69A0-46D3-BBD8-76AF1DE0AEF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"036191652e80251e7ca496b6cdeb3e1e2042d2fc","datavalue":{"value":{"entity-type":"item","numeric-id":4263015,"id":"Q4263015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0f1b36c5554e996328f418724ed2be668251a082","datavalue":{"value":{"amount":"+0.768899142742157","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":"Q998105$5A1184D3-ADF9-4FD5-9251-AC5CD90E390E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"97f03018ffb0078204fbf896197965deeaec28d9","datavalue":{"value":{"entity-type":"item","numeric-id":918965,"id":"Q918965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fde6f090ad70394a32eff26b07eef6442e55a37b","datavalue":{"value":{"amount":"+0.7634603977203369","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":"Q998105$B21792B5-AAF8-4B91-B26C-04C165CC5289","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ce4e2643c8d219f6a262b2a94612ddef7a7ab0cb","datavalue":{"value":{"entity-type":"item","numeric-id":1261311,"id":"Q1261311"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"94426aa27bfed0cf078b1140ece2c4dbfa83c3c3","datavalue":{"value":{"amount":"+0.7623716592788696","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":"Q998105$5AC9E8F9-D658-475F-8407-7C99CB33072C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8119ec3aa981e9a9db002ac60c0b87fa899679f0","datavalue":{"value":{"entity-type":"item","numeric-id":679251,"id":"Q679251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"94426aa27bfed0cf078b1140ece2c4dbfa83c3c3","datavalue":{"value":{"amount":"+0.7623716592788696","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":"Q998105$DF24A036-9CB1-4038-8FAC-E352C124E0F6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Extending a first order predicate calculus with partially defined iota terms","badges":[]}}}}}