{"entities":{"Q5410672":{"pageid":7440246,"ns":120,"title":"Item:Q5410672","lastrevid":92263532,"modified":"2026-06-05T01:17:01Z","type":"item","id":"Q5410672","labels":{"en":{"language":"en","value":"Complexity of model-checking call-by-value programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6286334"}},"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":"Q5410672$5C1E8A37-0207-4003-B9FF-D4DE267AA24C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a1681ff5f03309e9b18ae7dc190c53561fc96c0e","datavalue":{"value":{"text":"Complexity of Model-Checking Call-by-Value Programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5410672$52929E01-1666-4D8A-80CD-E5370761BAE4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"57ba35d4c2f1cd85dbe5091a55f7bdde482b6971","datavalue":{"value":"1405.68189","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5410672$D84E2170-E7E3-43F1-88B0-224657ED1112","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e40dddedee7d02090cced12b43c174eecea9a999","datavalue":{"value":"10.1007/978-3-642-54830-7_12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5410672$16BF58E3-3638-4571-BB55-8AF29A6F9AA0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f0eaf951c75d2d5db5073cd2949ee5f4196ba23e","datavalue":{"value":{"entity-type":"item","numeric-id":2038069,"id":"Q2038069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5410672$FF964130-9C65-4916-B513-6A968936C961","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e3ed03c0e908613601fdd733dba97c4f4513b0a5","datavalue":{"value":{"entity-type":"item","numeric-id":238500,"id":"Q238500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5410672$287DB189-DC0D-4DDC-BB40-F15F50BC8C47","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5410672$BD9F83A1-F6F0-44CA-8486-737FF84D4595","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a3c251b63516e63161db6918c2e83c80c7676385","datavalue":{"value":{"time":"+2014-04-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":"Q5410672$EEFEDEA1-6E04-4BE8-AFF3-5F02F84F6CA6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5410672$17679F28-24B5-4A5E-AF41-018B8020D072","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5410672$F08EF8C8-0F06-442E-B042-AD69F085C4EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5410672$ECCFC874-C43A-431E-B64E-243CA6BB050E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5410672$1DCEA42C-FF7A-49ED-9496-5C8ED1FF4117","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"58428535a0d196d9e6751457c561d1261f4cd467","datavalue":{"value":"6286334","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5410672$341BF093-ED8D-49E1-81BA-FA1B9942EADB","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":"Q5410672$45FDC72E-26B2-4D98-9EBE-A14C64496E11","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a3a9b0a79a76b010ea19b682d824165a078cf104","datavalue":{"value":"https://doi.org/10.1007/978-3-642-54830-7_12","type":"string"},"datatype":"url"},"type":"statement","id":"Q5410672$A36409BC-B172-4002-8ED9-36A78B7BCD81","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b649d34adf00357838cb6726ec47982cdcf76935","datavalue":{"value":"W350391862","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5410672$CFF1E042-BB97-498F-BF39-A50CECC5ACC3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a1f09a3907a84212a77018b6f8a853384657c0af","datavalue":{"value":{"entity-type":"item","numeric-id":2908852,"id":"Q2908852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"63b7a3defdc5620322a5074dd393951b2a427b1c","datavalue":{"value":{"amount":"+0.7412444949150085","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":"Q5410672$A17EBC1D-2F86-44C9-85E7-97EEC13B15BA","rank":"normal"},{"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":"1334fa0f86eea36e42bb03442a115d4327149cee","datavalue":{"value":{"amount":"+0.7410638928413391","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":"Q5410672$2B47CC8E-4B44-4936-811A-C4CB903769B7","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":"db841454ef607a8b66065fb513afcb2341fc0a77","datavalue":{"value":{"amount":"+0.7318853139877319","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":"Q5410672$30D15791-4B23-4B50-ABDD-0ED4CF903323","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5b6f1b6e5cd0336e7aa2e8607e5cba00c3b036e5","datavalue":{"value":{"entity-type":"item","numeric-id":3176375,"id":"Q3176375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2afbf5aca6b22137794973ef50b4b4f0babb94f1","datavalue":{"value":{"amount":"+0.7302858829498291","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":"Q5410672$BADAE089-66AA-46EB-B908-B64ABA23E985","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c95d89062711ee600ca5496b3368ceddbb7727d8","datavalue":{"value":{"entity-type":"item","numeric-id":5492896,"id":"Q5492896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3baf7b2171e5c60a4ce8ba292295390b9c1798f8","datavalue":{"value":{"amount":"+0.7254053950309753","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":"Q5410672$CDA001F8-8EB4-4A39-858B-BCD901240B79","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Complexity of model-checking call-by-value programs","badges":[]}}}}}