{"entities":{"Q5168915":{"pageid":7198487,"ns":120,"title":"Item:Q5168915","lastrevid":52044731,"modified":"2026-01-20T20:02:23Z","type":"item","id":"Q5168915","labels":{"en":{"language":"en","value":"A traversal-based algorithm for higher-order model checking"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6318886"}},"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":"Q5168915$13E42CBF-EDE4-4526-BA63-6AD317235A74","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c53c8836c3780f7ad15ce68cbc2973d1fe4b65a8","datavalue":{"value":{"text":"A traversal-based algorithm for higher-order model checking","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5168915$AF418400-1E36-47B0-9F54-007A635DB087","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1a8e7b5e9bec5f5c62202ad4469fb7a4a907c13d","datavalue":{"value":"1291.68264","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5168915$31185409-0B9E-4DDA-A38B-3F1C83016FAE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4e87ca81bd014ea6e00b57e7699b936cdf2ccbed","datavalue":{"value":"10.1145/2364527.2364578","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5168915$CEC23A43-D623-4851-8070-9C41E36E0998","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6492899581e97fcc908552e818b178096ab32784","datavalue":{"value":{"entity-type":"item","numeric-id":5168913,"id":"Q5168913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5168915$9300EB9E-D49C-440D-9656-7C00C3483100","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"671200b99d1f4c8388ee4d2be3fadbb455d7591c","datavalue":{"value":{"entity-type":"item","numeric-id":2396720,"id":"Q2396720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5168915$67CE6ECC-96D6-4948-8CE3-3C296F10EB92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"846e42a3e67aa4382b5e65a05a3ef7c4dc047460","datavalue":{"value":{"entity-type":"item","numeric-id":5168914,"id":"Q5168914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5168915$10327A8F-BE5E-4395-8FA9-DA151D8EBFDA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"124eb001557b71c36d00fbe6c3c8f1624c5e49b8","datavalue":{"value":{"entity-type":"item","numeric-id":5168876,"id":"Q5168876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5168915$F3B8AA44-A1DC-4E4C-9B41-DA09DB32F746","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5670447523ca0c92d2715e5586c267824127db6a","datavalue":{"value":{"time":"+2014-07-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5168915$2FF0BB76-6EDA-422B-B23C-1756EB49DC85","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5168915$9BFD3A11-EF51-434C-A3DF-A528D5F233F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5168915$36AEA091-23D6-4F15-B557-843ADBFD5799","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b720ee6281ca3041814dd6fc3d222419f326b533","datavalue":{"value":"6318886","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5168915$746AFBAF-F1F8-46D2-AA1E-E0E82D108A34","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"024e260e8fd79d5f0e614a4825adfe2815bc0614","datavalue":{"value":"higher-order programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q5168915$FC537D26-A194-44F3-8F2B-003EA9180F55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"379a567f0f983e236f95705804d342510fc41004","datavalue":{"value":"model-checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q5168915$C79FE7DB-132F-473E-B124-0EEB5799E09B","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ff48b5b0f742e1dd4d16c1fbb0f871ef29af51b4","datavalue":{"value":{"entity-type":"item","numeric-id":21379,"id":"Q21379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5168915$60625596-9DCF-40B2-B09F-DE52E1FA8208","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"5bff48fd6ee617647263ff3251189af9b22c2fea","datavalue":{"value":{"entity-type":"item","numeric-id":26053,"id":"Q26053"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5168915$0ABC0A81-917B-47B7-B1B3-B901D5681FDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"3fa0ba30f2225a69a75d233361703cec68c39010","datavalue":{"value":{"entity-type":"item","numeric-id":15473,"id":"Q15473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5168915$4754388B-0D77-4888-8866-5943B432848B","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":"Q5168915$605196C3-35EC-4AAC-9B9D-37A8FB22EA9D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c86021c97e312fa6c8643170723b80ab96275cbe","datavalue":{"value":"https://doi.org/10.1145/2364527.2364578","type":"string"},"datatype":"url"},"type":"statement","id":"Q5168915$D71026E8-97D3-48E3-A300-A5ED8C13DB44","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7e9e13a0371e56ee7b9ae27add2a8d69653b234c","datavalue":{"value":"W2122698067","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5168915$F00A50D7-5C59-4C35-8989-257E2998FD76","rank":"normal"}],"P1643":[{"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":"a9c2d0eebe41f28768dc3ce60b9090e7e7fac27e","datavalue":{"value":{"amount":"+0.8430662155151367","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":"Q5168915$712653A7-8A1C-419E-A76D-7209308D5C08","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":"472bc2a18ffdfcd31968fc72c93dded0f0fafbe3","datavalue":{"value":{"amount":"+0.8424032926559448","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":"Q5168915$F3BE2839-4017-4FB8-A057-EE1704C011F8","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":"60bc016295deec2e93efb77687774b8da08a96b3","datavalue":{"value":{"amount":"+0.8398164510726929","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":"Q5168915$EA67BFD6-7B42-4F5A-9EB4-2CF19814B71F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eb9c8c3fe9b3eae0c510cba1cd10b65226a7b8a7","datavalue":{"value":{"entity-type":"item","numeric-id":2937780,"id":"Q2937780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"15cfba5f7d8fbcdbfbc1c6c88d621fd30af691df","datavalue":{"value":{"amount":"+0.8390587568283081","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":"Q5168915$9DF386B1-86AA-4DC7-88E0-4B9A0A4A7BCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"41d4318959da1dac1e9360f12d588887f046a097","datavalue":{"value":{"entity-type":"item","numeric-id":3000614,"id":"Q3000614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3a877adf15657a65b1d713be36d36ab38b59f2a4","datavalue":{"value":{"amount":"+0.8330574631690979","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":"Q5168915$66A0A5BC-8D71-41FF-8E9A-E1A421E360FD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5168915","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5168915"}}}}}