{"entities":{"Q5881215":{"pageid":7910766,"ns":120,"title":"Item:Q5881215","lastrevid":47823820,"modified":"2026-01-02T19:22:26Z","type":"item","id":"Q5881215","labels":{"en":{"language":"en","value":"Set-of-support strategy for higher-order logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7661574"}},"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":"Q5881215$9B205690-725D-44B4-B0BF-80B7FCDC821A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d69f0c2ed481c10ed834710ce8b51306d3d134c8","datavalue":{"value":{"text":"Set-of-support strategy for higher-order logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5881215$FD6BF3F1-BAA2-4017-BECC-4EAF8A284AB0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"197a457167f7cba698c74fe802698382c2add1b4","datavalue":{"value":"10.1007/3-540-56393-8_40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5881215$6F8A5069-03DC-4C36-9B30-368F17B387BE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a6f48361958e1cd0627365e7fdd8442f7d3d263e","datavalue":{"value":{"entity-type":"item","numeric-id":5881213,"id":"Q5881213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5881215$0EEFF461-9608-474B-8A1B-3954E2C6DD70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d719f71c81d4ffd1db005e796d780136847151dd","datavalue":{"value":{"entity-type":"item","numeric-id":5881214,"id":"Q5881214"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5881215$35E5AE19-FD11-4F52-82A7-EF71E1B87BA9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"00eb62236e33a5483cf4681f1956ae601238d263","datavalue":{"value":{"entity-type":"item","numeric-id":5881171,"id":"Q5881171"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5881215$969605EC-BB2B-457A-96EE-2D7E0A151C58","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fa71b3b2a7b7ab0138de60bd723d67e92e6e5110","datavalue":{"value":{"time":"+2023-03-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5881215$A9C5AFA3-CC3F-47D8-B7D5-3A0951216C28","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5881215$A3E4655B-7F6E-49E8-84C2-B715037185A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3f6d4b3012578fba2d8ab6b9e39d328cad9def57","datavalue":{"value":"03B16","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5881215$551CDF6C-210A-4AAF-8179-8AFDA5CD8922","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5881215$39730691-8E32-4764-8318-58E0C894BE35","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d6066e80e3e4c73f8e168b0f1f020215ac407204","datavalue":{"value":"7661574","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5881215$3274B72A-E1DB-4942-BD03-895AFAE8C84D","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":"Q5881215$59770142-604D-495B-B20F-8D9C051658C9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ebf78a0d80d28b4578d158e824d3ee3811893c1b","datavalue":{"value":"https://doi.org/10.1007/3-540-56393-8_40","type":"string"},"datatype":"url"},"type":"statement","id":"Q5881215$37FB7A9F-85BA-4177-A337-90DF61136B27","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"62246720afaaa58d7c947b5ed7dae68664110104","datavalue":{"value":"W1513782542","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5881215$48B28C3D-106B-47F9-8606-2C834C37D46F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0021eb1ef45a5b93ce1d9b7eb620338bc69ad123","datavalue":{"value":{"entity-type":"item","numeric-id":5638281,"id":"Q5638281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5881215$E19812DE-7C04-4DFC-A093-14F0A3F7E9A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c9f2843640e7eabb53dcf6b38d2e418915c6350","datavalue":{"value":{"entity-type":"item","numeric-id":3343471,"id":"Q3343471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5881215$7CE902F2-27DC-4296-A47B-0A3397541262","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"146c2cf67ae367d823a4ae7b8d88270832325b58","datavalue":{"value":{"entity-type":"item","numeric-id":5677084,"id":"Q5677084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5881215$6D3A8963-B4A1-486B-BB61-E716ADCAFB56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1eb387d93d6d1c7b34f751c3ee7736c48adf0665","datavalue":{"value":{"entity-type":"item","numeric-id":1227601,"id":"Q1227601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5881215$55CC5968-6328-4EAD-8DA0-26BA4A5AE198","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d1061ef9e5743e1f35820a3b9604da31d765091","datavalue":{"value":{"entity-type":"item","numeric-id":5055756,"id":"Q5055756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8a4605f4923db1a81f33c6c5a534293df1a4a946","datavalue":{"value":{"amount":"+0.709528923034668","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":"Q5881215$15C46A5C-32F0-45CD-AEDA-73EF13C99671","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b793b049bccf047cc87000b56be1bbaffa8e436a","datavalue":{"value":{"entity-type":"item","numeric-id":1868166,"id":"Q1868166"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"babc7f032b248d4af23060abaaa4d746a6e2dfdb","datavalue":{"value":{"amount":"+0.6935728788375854","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":"Q5881215$478DC994-6082-4929-BBF4-9D504395404D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"286564eb3bc4c320c48c2ddfca71197638c1cb5b","datavalue":{"value":{"entity-type":"item","numeric-id":914411,"id":"Q914411"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"912219d1ca29aae333b758f7016430862bed29f2","datavalue":{"value":{"amount":"+0.6932474970817566","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":"Q5881215$4815E199-1B53-4C64-AEEF-2E6FC5D6D1BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3cf76f67380c4606cdc24ddf91ef319c5e832666","datavalue":{"value":{"entity-type":"item","numeric-id":4249891,"id":"Q4249891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9d2b484ab063f21f3b0fd99425527ec5525cdbc3","datavalue":{"value":{"amount":"+0.6898172497749329","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":"Q5881215$1A2B72E3-4DD6-457B-854F-30C849BCFDDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"338faab03a6852bef0c51d702c61cd9ee8ecf151","datavalue":{"value":{"entity-type":"item","numeric-id":2055874,"id":"Q2055874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"22ab4b4971d8c300a345b6fcfb777876257420fe","datavalue":{"value":{"amount":"+0.6877397298812866","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":"Q5881215$126166D3-A9AF-461B-B80C-8EC790B89B96","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5881215","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5881215"}}}}}