{"entities":{"Q5096304":{"pageid":7125880,"ns":120,"title":"Item:Q5096304","lastrevid":94459298,"modified":"2026-06-05T06:52:21Z","type":"item","id":"Q5096304","labels":{"en":{"language":"en","value":"Higher order disunification: some decidable cases"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7572111"}},"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":"Q5096304$C28A1098-FA72-4342-B1DE-DE85A2A53A05","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"916a9c26b3e3d489104c1342032645637335cd8d","datavalue":{"value":{"text":"Higher order disunification: Some decidable cases","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5096304$A7FA85C9-379E-4EE0-8215-8D7F83D2C854","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3152386a53ce3b1e6ee1696a9e3366c8efe052a3","datavalue":{"value":"1495.03014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096304$350C3A98-59D1-4533-A52B-D95B1E9DA4EF","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"edf654a74f98ae9025a05efa0c569883148c4a32","datavalue":{"value":{"entity-type":"item","numeric-id":5096296,"id":"Q5096296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096304$AB6FF80E-4DA1-4F8F-A7A7-5753A1E42F84","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9f0638de14cb053deb57828797f5c127a478dbaa","datavalue":{"value":{"time":"+2022-08-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5096304$8DA23310-3F9A-4C66-AB0F-DCAC411F84AC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096304$22199E2E-560D-426A-8BA3-DCDC99A5305D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096304$B729D908-B2C6-4859-9255-C3ABF05183FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096304$BB1C8647-9C9F-4C67-9ED5-A32D2F2B2774","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096304$6834A154-D286-4B29-B520-381FD1543A97","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6e3336c4107b00206f2b9560ee2e19fea7a66553","datavalue":{"value":"7572111","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096304$E61AE146-CC0F-4EB1-818C-FCFE93EC6A94","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"39810ec381ba48fb5861c168391fa7d328efd8b1","datavalue":{"value":"higher-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5096304$FE641387-3E8E-43B6-9131-E66BF0DAA6F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b876698d821b50cd7ba02ddb5424ed80f1905d8","datavalue":{"value":"lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q5096304$C5700A62-9185-462A-8BA0-C28F02438845","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c3922eb0b8235fb2b824bcb3eaa0c8d395dbd512","datavalue":{"value":"unification","type":"string"},"datatype":"string"},"type":"statement","id":"Q5096304$F494D563-E630-4338-BBBA-D958EC937B6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e94525ee9ddac27acf6c5c07b63dac486114f332","datavalue":{"value":"disunification","type":"string"},"datatype":"string"},"type":"statement","id":"Q5096304$581C04B6-1491-40B2-AA7F-23A2176FC322","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a60be4490a790d53b1b7f5ef26cb70860647ffa0","datavalue":{"value":{"entity-type":"item","numeric-id":862560,"id":"Q862560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096304$DA8663EC-F6E7-489D-A89A-7E99C25F8FDF","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":"Q5096304$0452B3B6-1FB4-49FB-B5FD-52E7B13E09F9","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d592f87e8857ff4d106dd1dd178161f50c9229b","datavalue":{"value":{"entity-type":"item","numeric-id":1108266,"id":"Q1108266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096304$FA218EB7-FEB9-4DB0-BF1F-2316B29D5355","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f241207bb39341afad681685e7fc2b817c7ff774","datavalue":{"value":{"entity-type":"item","numeric-id":1124372,"id":"Q1124372"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096304$20D9EEAC-BB9B-440E-BA9D-0ABBEA2ACC5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7021c91f6a866e16b579f74b23aa54446a0c8938","datavalue":{"value":{"entity-type":"item","numeric-id":1150586,"id":"Q1150586"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096304$872D92EF-80B4-474C-A399-851A6C175CD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f23417d0146cdc8808662ea4f0b0496e878f3547","datavalue":{"value":{"entity-type":"item","numeric-id":4722037,"id":"Q4722037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096304$789B33C9-F4DC-439A-98D8-432DBD0A0DD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4fecc7ce8fe53bf0ab0f560a96ff760721b70f9b","datavalue":{"value":{"entity-type":"item","numeric-id":1230505,"id":"Q1230505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096304$7069037E-4D49-4CDC-B053-682B8B84827A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59d8b44f05217c526aa12a6be320ec9c8d40564a","datavalue":{"value":{"entity-type":"item","numeric-id":5053011,"id":"Q5053011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096304$0076A2C1-3D6F-4EF2-8D3C-2F4047282FD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b4f4d44dc19f26559592a12ba4d75f8fcd246fd","datavalue":{"value":{"entity-type":"item","numeric-id":1201348,"id":"Q1201348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096304$CEA506C5-C66E-4286-B196-BBFFED79571E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5333f404cb1c5a483ee97a9aa8db2143fb09170b","datavalue":{"value":{"entity-type":"item","numeric-id":4012879,"id":"Q4012879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096304$D0874056-7D6A-454D-B3F0-8C629DAC776E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"55e7eb75745b42d1e8b1dfbc0c8dea9db9c7c786","datavalue":{"value":{"entity-type":"item","numeric-id":5210802,"id":"Q5210802"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096304$F724C840-E757-47C1-BC8C-4611C962DCDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aed17d1d7b1ff67830dae739e9417248cd25f604","datavalue":{"value":{"entity-type":"item","numeric-id":1823936,"id":"Q1823936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096304$9BB7FE27-93C2-42CD-8D5E-3AACF5EE63FE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"335ef6912a4512e378054237b2aa057ba62de2c4","datavalue":{"value":"https://doi.org/10.1007/bfb0016848","type":"string"},"datatype":"url"},"type":"statement","id":"Q5096304$5A0B7F0E-1BEB-4C3F-9EAC-B7AEB0C2B81A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6b75018073afe13316d01491612a41337b4a07a0","datavalue":{"value":"W2160623077","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096304$F12311A0-F945-4668-9FFE-B90A537B7EF7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1c02150c71a6beec500911f00834925b847c25b7","datavalue":{"value":"10.1007/BFB0016848","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096304$F23D9FE0-69EB-4404-90BC-C570E1CB2820","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"47c6a9936a20241c7ab8ebd9c7e3a53d8b2498e3","datavalue":{"value":{"entity-type":"item","numeric-id":1914170,"id":"Q1914170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dee7d264002c82914ba192b82bd052198a1246f6","datavalue":{"value":{"amount":"+0.9056932330131532","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":"Q5096304$F7D9F49D-5B02-45A9-9E83-E103A9DE43DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"45d8706abfb84ac5217da1f08de69367c391d603","datavalue":{"value":{"entity-type":"item","numeric-id":3431410,"id":"Q3431410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dee7d264002c82914ba192b82bd052198a1246f6","datavalue":{"value":{"amount":"+0.9056932330131532","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":"Q5096304$E7F93901-4C75-4FE4-9F83-4227551055F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7d7461aedad43fc189edc0c1952fcf4a60d1569a","datavalue":{"value":{"entity-type":"item","numeric-id":5210802,"id":"Q5210802"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7e262a7bb0d75da1c384d72856c057d461c6515f","datavalue":{"value":{"amount":"+0.8540951609611511","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":"Q5096304$7F5EED27-C875-4545-9833-06D6147759C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"60c8dbe14cd4e8534f8053deb0c126e579b3c940","datavalue":{"value":{"entity-type":"item","numeric-id":3410202,"id":"Q3410202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3cfb660648990e55911e374f6ad8698ee3860850","datavalue":{"value":{"amount":"+0.8326457142829895","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":"Q5096304$08192EF4-351A-4C83-88DF-4E42EE712A2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"357040841b6bd18fb9d302a090c8f4eddd701d05","datavalue":{"value":{"entity-type":"item","numeric-id":5044750,"id":"Q5044750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f1663ef0a8e9b0741f2e9b54f7547579e20f3e20","datavalue":{"value":{"amount":"+0.8016520142555237","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":"Q5096304$E9DAB52D-4B9D-4B74-A7D9-627B44864B46","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Higher order disunification: some decidable cases","badges":[]}}}}}