{"entities":{"Q6535909":{"pageid":14147052,"ns":120,"title":"Item:Q6535909","lastrevid":55602898,"modified":"2026-02-17T19:34:10Z","type":"item","id":"Q6535909","labels":{"en":{"language":"en","value":"A bounded model checking technique for higher-order programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7816203"}},"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":"Q6535909$DFD757A4-D122-4C10-9425-E42E32EAFB4D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"126d9ed31d34455ae17563355ccc7ab249ba38f1","datavalue":{"value":{"text":"A bounded model checking technique for higher-order programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6535909$BF050099-1338-49BC-AC62-4F0BDE09CB8A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c5164129ea4baff6552ba913e49d6a0aa4154dbe","datavalue":{"value":"1543.68223","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535909$F455CA2A-7E75-4571-B99D-B4D8814E9144","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"953d2d3b1e31387cb9330729b06039192a974432","datavalue":{"value":"10.1007/978-3-030-35540-1_1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535909$112894A1-23FE-4E97-9B51-1DC646B96026","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1cbbc7289f1d858ea32f876d506424ab276d39b2","datavalue":{"value":{"entity-type":"item","numeric-id":6535614,"id":"Q6535614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535909$D84EEFA9-D9BC-42EF-8EF0-0F949F9B8C8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a364b77e92ff0f2a5601d6a22c0787f6130aac0f","datavalue":{"value":{"entity-type":"item","numeric-id":388211,"id":"Q388211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535909$A3F68963-28F5-470A-B901-0BF52FD9F0BC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5fc070537fcad1ac2a3ed34a736ba39b55f9ad5b","datavalue":{"value":{"time":"+2024-03-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6535909$AB78F0AF-6F4B-461F-ACE1-DBD60DA580EA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535909$A1FBE544-D720-49E1-BA11-3862100E1B31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535909$079367DD-E786-43B3-92DF-B66482C6F29F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"171deac9e9ff0ed2eb85c9d1f7871cf451f2f1f3","datavalue":{"value":"7816203","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535909$BD32C810-5A7A-473A-8CD8-CDC5B2E7C047","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":"Q6535909$1B0813DC-348E-4993-B851-32D5009F0360","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c081dcd4d9b9474538f88dfe61b4466625d33f6","datavalue":{"value":{"entity-type":"item","numeric-id":4417912,"id":"Q4417912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535909$0F27D788-084E-49A3-844D-A9B8F60174B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60159374e2e3f1fa60e69dc94c949ae9174a77c0","datavalue":{"value":{"entity-type":"item","numeric-id":5308405,"id":"Q5308405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535909$24ED78F4-59BE-4A2C-9C52-38A159BF6DCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"67b2123ba4e6010dcec245341a8905dc4025db84","datavalue":{"value":{"entity-type":"item","numeric-id":4131615,"id":"Q4131615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535909$B04B099C-460C-4BC9-9696-313EB51E78D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"83107292cc9d1671f2c4ce6828754df1cc86128a","datavalue":{"value":{"entity-type":"item","numeric-id":5261537,"id":"Q5261537"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535909$62DADAEF-7F7A-4862-B321-81FAD734401C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d68f8b6be6a927a15cac2b3eb7a5f9779d8d079","datavalue":{"value":{"entity-type":"item","numeric-id":5716600,"id":"Q5716600"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535909$CC7A0D4F-B7B8-420A-B09A-A288EBE2054F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f6d45d62552afebf5e9758a073f084970fe802e7","datavalue":{"value":{"entity-type":"item","numeric-id":1290337,"id":"Q1290337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535909$962FFB94-062C-4FC6-8B16-C748F057A0E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c318ea7ba0dba2b28840f72f1e2f13ed0e04ad7a","datavalue":{"value":{"entity-type":"item","numeric-id":2789057,"id":"Q2789057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535909$1A79B31B-201B-4558-95F5-E5749AE19381","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c6ccb1191a94d96960c35877220f461aed7f4efc","datavalue":{"value":{"entity-type":"item","numeric-id":5395718,"id":"Q5395718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"35cbf34bb3d711a0e6b4a3f61b2bfdedfc0889b7","datavalue":{"value":{"amount":"+0.7791487574577332","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":"Q6535909$094E0FC1-F838-45DC-BD81-6C373CE4B039","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5249675c0e459acfdaf8415733e78d74a73ea3b7","datavalue":{"value":{"entity-type":"item","numeric-id":3179299,"id":"Q3179299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cbbb3b8e84a2d909f7f4b4d2c0babcff58e30d42","datavalue":{"value":{"amount":"+0.7708446383476257","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":"Q6535909$9BC32753-EF4A-40F7-9F63-0527B6355AC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ae93799b1f638a99cf0cc7abc5aad262ecfd13a6","datavalue":{"value":{"entity-type":"item","numeric-id":4635787,"id":"Q4635787"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0988e62bc06ac17857177a8bf1d6b7e094d46754","datavalue":{"value":{"amount":"+0.7466515302658081","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":"Q6535909$0C206865-2E92-46D4-BD04-FFDC17F64444","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e1982d9b548ac797cdd6204653effa1199bfdbfb","datavalue":{"value":{"entity-type":"item","numeric-id":2958519,"id":"Q2958519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d3570b62ea6fa8fda11ec9cd693ced24d2a1f846","datavalue":{"value":{"amount":"+0.739693820476532","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":"Q6535909$7572D7FC-1F21-49E8-9B22-AEA53B6F9BF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4f8eee9a2a761a98df1731078e7d1358922c628f","datavalue":{"value":{"entity-type":"item","numeric-id":6535615,"id":"Q6535615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"73556d710ede835ef8f861e14941ee1b44dd2790","datavalue":{"value":{"amount":"+0.7382311224937439","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":"Q6535909$F0919F51-6A87-4E48-968E-C6F1D3D8A3E7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6535909","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6535909"}}}}}