{"entities":{"Q5756604":{"pageid":7786155,"ns":120,"title":"Item:Q5756604","lastrevid":41200036,"modified":"2025-04-19T00:14:18Z","type":"item","id":"Q5756604","labels":{"en":{"language":"en","value":"Model Checking Quantified Computation Tree Logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5187261"}},"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":"Q5756604$2C2AA45C-1384-4AB5-9E7F-C0BF52108C7E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"420907143dfd98175ea3b6a6420abce79841bd69","datavalue":{"value":{"text":"Model Checking Quantified Computation Tree Logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5756604$49E344D1-DE3D-45A0-8444-426C13A2D7DB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8ad3de94f1066680ccbd1bef59c31a067ff668d6","datavalue":{"value":"1151.68489","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5756604$85C09A11-0A04-4439-BA55-5C2BBCB8CD5A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"84ebf9aacbdb98408f8e740c3ba2604492944d92","datavalue":{"value":"10.1007/11817949_8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5756604$6BA793AA-CE97-4D6E-93E4-B3121DA0CDAC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"89238439472c677fdc6823725c455d61dc5d1d2e","datavalue":{"value":{"entity-type":"item","numeric-id":865622,"id":"Q865622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5756604$0FF79BBF-3F55-4EF8-B7E0-F4B09B248E87","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d5f8f253e349e54e13b7bb591e43e3d03254b865","datavalue":{"value":{"entity-type":"item","numeric-id":5756587,"id":"Q5756587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5756604$F6CCD1C7-DE0A-44CF-AC71-D0481132C610","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"425e48b9986b227b93d91ab0854d5e88273c1020","datavalue":{"value":{"time":"+2007-09-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5756604$1E02662C-A2C3-44C4-8AF6-AAF2AA1C4B9B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5756604$E7489B44-810A-49E6-9BAD-B7307C427F34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5756604$E726FF6B-5168-4E26-A1A8-CE6A396F5380","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3ab00cbfab1df70c54a2314e9ad5f853923113d8","datavalue":{"value":"5187261","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5756604$D6C0F7C9-0144-4510-8B09-8E75505E130E","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"47f960de4d53e18e0757a9f17e2bf4db153dde36","datavalue":{"value":{"entity-type":"item","numeric-id":19685,"id":"Q19685"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5756604$72CD99D7-2BEF-44EA-9A6E-7BC0367EA7B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"0887771fa8fa24228e4b65a3b13091f37ff5ace9","datavalue":{"value":{"entity-type":"item","numeric-id":21462,"id":"Q21462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5756604$88202AF6-0C21-406A-BC65-C1E41CC32C19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"53a4a9b6c38d395d5b2eb80cedc3eefcbf3e9947","datavalue":{"value":{"entity-type":"item","numeric-id":15987,"id":"Q15987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5756604$B6E2FD6D-D797-47EF-A7A6-01602C402FBB","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":"Q5756604$FC155588-5529-4DA7-91F1-22B14280FA01","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5d660d8f6988fdea42e523fe96fd169546e9dc30","datavalue":{"value":"https://doi.org/10.1007/11817949_8","type":"string"},"datatype":"url"},"type":"statement","id":"Q5756604$53B647B0-B428-48F8-B4D5-7F87EEFD1A0B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"55a072e0441c1dc254f39b8a54c519466e7e125a","datavalue":{"value":"W2169019491","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5756604$F2DFC68E-C6DF-4883-A8BF-B626611A6EA5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"df1fe44711cb43516b28c1580122505e79897694","datavalue":{"value":{"entity-type":"item","numeric-id":896917,"id":"Q896917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2f4fcb873df4ec81940b72fb8f41a67c38b47e6a","datavalue":{"value":{"amount":"+0.9487338","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5756604$BD6142F8-8ED8-41E3-8AC5-CDE68725382C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e65a8cfdc3a726183847675febfa6ff30ba69be4","datavalue":{"value":{"entity-type":"item","numeric-id":1603537,"id":"Q1603537"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e5f4931538434ccca21cb9d9b2ad97a880412dd2","datavalue":{"value":{"amount":"+0.9412745","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5756604$D31BB175-5E9A-4C7F-8456-3E5A516FB01E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eb1c753c7a970c5d88f3a49c4d2b82b0e18de48d","datavalue":{"value":{"entity-type":"item","numeric-id":529055,"id":"Q529055"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"59a05458f29ebf747e848d43a4aeb068785e3cee","datavalue":{"value":{"amount":"+0.9385457","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5756604$D2932E48-53B8-4CA5-B194-46CD5A44CFB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eee756afcee845871249675df0d2d7b42dfd9370","datavalue":{"value":{"entity-type":"item","numeric-id":3170516,"id":"Q3170516"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b7382783c5df3a942b0fc251ca7ddb4a326dcdc0","datavalue":{"value":{"amount":"+0.93014425","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5756604$33CC0E12-EA75-460E-84B4-72DC9C2E279F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e72c57564b42540b67653ee9fe2c14a4d275e82c","datavalue":{"value":{"entity-type":"item","numeric-id":4450445,"id":"Q4450445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e8c2d2850e5b170d100cd47fb15d4c271737bc3e","datavalue":{"value":{"amount":"+0.92705476","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5756604$A7F23CC7-4202-4DFF-BEE5-3B715503BB03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f738168313a5a83855a77e84e37100fa65c2532e","datavalue":{"value":{"entity-type":"item","numeric-id":5415664,"id":"Q5415664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"89a2a9c31955a742a2c6cf5f74ebe0a0f1db2409","datavalue":{"value":{"amount":"+0.9268617","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5756604$6A489B27-5DBE-4B8C-ACFA-E041CE4077D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1593aa5f6509a27200a08fbbaa703f4df4f7635b","datavalue":{"value":{"entity-type":"item","numeric-id":4037101,"id":"Q4037101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1ee272c089130a44a8acb581467251c61ecb8d2d","datavalue":{"value":{"amount":"+0.9244219","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5756604$4594294E-E56B-450E-B817-4EB50621256B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"70a1fb5b95119693268a4d9baaf12d643d1af752","datavalue":{"value":{"entity-type":"item","numeric-id":4037373,"id":"Q4037373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1ee272c089130a44a8acb581467251c61ecb8d2d","datavalue":{"value":{"amount":"+0.9244219","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5756604$E8E28B19-1A30-4B83-9F47-4F37B8F61D28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5a81f92fb03fede1e3c43c3a9f23902c81c2316e","datavalue":{"value":{"entity-type":"item","numeric-id":2285155,"id":"Q2285155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dbbddcddbec82a9e43c40acf5742ece74d4a4828","datavalue":{"value":{"amount":"+0.9222287","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5756604$5F3E93E8-28F3-4DE6-9215-DF1CFD5425D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"48e94174da71a7c1629b915e66e7932b642eb547","datavalue":{"value":{"entity-type":"item","numeric-id":3534212,"id":"Q3534212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"48884c6196593657b32f24601b56014a71f768d8","datavalue":{"value":{"amount":"+0.91795623","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5756604$7D2EADD6-B4EC-4E9B-B019-E9E7BFF3A819","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5756604","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5756604"}}}}}