{"entities":{"Q3467865":{"pageid":5248883,"ns":120,"title":"Item:Q3467865","lastrevid":52453334,"modified":"2026-01-22T16:41:39Z","type":"item","id":"Q3467865","labels":{"en":{"language":"en","value":"Symbolic model checking for alternating projection temporal logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6539334"}},"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":"Q3467865$87B67907-F1D5-4F9C-98B4-57BCF6CFC5A0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e6a4b5cefef7c412b6cd7c4f8ec97f21e0822be2","datavalue":{"value":{"text":"Symbolic Model Checking for Alternating Projection Temporal Logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3467865$E9D5BF26-2D2E-49C8-B81F-AE3F52C81615","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"807904f0a96c898c609e1312c79532e4f5fc419e","datavalue":{"value":"1473.68108","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3467865$63CF44A1-5BB6-4C95-8024-7F14BD5D62DE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"29f495e04c51d19164a1e46fe4ace2808d55421d","datavalue":{"value":"10.1007/978-3-319-26626-8_35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3467865$B36DBABD-B439-47B0-9F93-C1E1AA8000C4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9eca421f0e30abf91dca39ba6463302d4ec5c12d","datavalue":{"value":{"entity-type":"item","numeric-id":208309,"id":"Q208309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3467865$6FCC5E77-B83D-40EF-9669-7CAFBB1D44B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"30d9aa89bda10e60a2b2b6e5c4297a8a726a7ab3","datavalue":{"value":{"entity-type":"item","numeric-id":247891,"id":"Q247891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3467865$20EA3371-651D-4D4C-A093-4F188A4B0A1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b63c8a7d27ac589b244a048d2f920a9e8c6bd330","datavalue":{"value":{"entity-type":"item","numeric-id":247892,"id":"Q247892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3467865$7FCD7226-C010-49BE-ACBD-5B3476DD122C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"5ee1bdbb93e1dcf1103c5b56928114e9a720c225","datavalue":{"value":{"entity-type":"item","numeric-id":2867102,"id":"Q2867102"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3467865$45117DE8-3CB5-40DE-AABB-1EBC39A121A7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e0ea7e5c9a7ba33c3596f194c797c176cf41e4e9","datavalue":{"value":{"time":"+2016-02-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3467865$DDF8C9A1-FE2E-409A-A658-AFD6A6FBCC6C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3467865$24F059E2-AAA6-4C41-85DF-AFFAAEF9B988","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3467865$BFBB83A9-8664-4A6C-8898-4501BF7BB298","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a591cf905a74e8ce169c9d506449758de72a59ae","datavalue":{"value":"6539334","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3467865$59586E9E-CD3C-49DB-8031-B49F2FB2768B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bf78a568cb48da8936a681679fd399fb67bcf5d5","datavalue":{"value":"alternating projection temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3467865$385B0E3C-2A1D-4FFA-8D14-F53DA460AA43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91781ccd330dffbed6ecb598d7c67ab7d2391c0b","datavalue":{"value":"interpreted system","type":"string"},"datatype":"string"},"type":"statement","id":"Q3467865$204FB07D-65D9-498C-9609-F932F26507D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"261888da12e497343a706346470f9845c915722e","datavalue":{"value":"symbolic model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q3467865$D261F76C-7448-46AB-94A8-4C34F3D6035C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"019fe5dbaa04d87aa1941be9ff79847ba89eafc8","datavalue":{"value":"OBDD","type":"string"},"datatype":"string"},"type":"statement","id":"Q3467865$06C8D61B-FFC5-437D-BF6F-F3944B95DD73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q3467865$A44384E0-298B-467F-92CA-76310B233F50","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"af5bf62d73c7ce629c0669b5ccd1badd6d3f9691","datavalue":{"value":{"entity-type":"item","numeric-id":21446,"id":"Q21446"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3467865$89D4D883-E6B1-4FA6-B736-C11CF3D15102","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"0b81395bce8af48e679b9daeada5dec6a46a77d1","datavalue":{"value":{"entity-type":"item","numeric-id":24858,"id":"Q24858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3467865$BFFBFC47-CD16-434D-9656-19DF21286496","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":"Q3467865$544D4DC6-898E-41A7-A42A-271FDCFFFF86","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"635a0acc51abc7292bb30e474e51f33d1d7cd7dd","datavalue":{"value":"https://doi.org/10.1007/978-3-319-26626-8_35","type":"string"},"datatype":"url"},"type":"statement","id":"Q3467865$747FF2D0-0109-4B85-86E5-D1E5119DB593","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4a6da87542cdb13fd9564a46aeb5e177713b0cfd","datavalue":{"value":"W2401238142","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3467865$93EEBFB0-7C07-45FB-97E0-AE74C8C03C43","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b0c7436976c5b9893e05c1462fed16a80d7904d","datavalue":{"value":{"entity-type":"item","numeric-id":5322945,"id":"Q5322945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3467865$543CFB3A-7049-4AC8-8B3F-9A433FA294BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f65875617975e4bd071f7b992dda914188cc2761","datavalue":{"value":{"entity-type":"item","numeric-id":1421487,"id":"Q1421487"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3467865$803EE936-5015-4205-BCD0-AD3F56F9E3EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d969bd9e9070eb4e4b53be99bf5557f5f64d3d3","datavalue":{"value":{"entity-type":"item","numeric-id":3455546,"id":"Q3455546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3467865$5B386F40-78FE-43C0-92DF-4D9BC9F2B41D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f520c54025dfa33e5e0c52643f533fefe1e85170","datavalue":{"value":{"entity-type":"item","numeric-id":3330496,"id":"Q3330496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3467865$39161FA6-D7E1-49BD-A45E-65E929ADFA2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be0847dc10281eb05003b606c7949fd8f6a6c5fa","datavalue":{"value":{"entity-type":"item","numeric-id":2904627,"id":"Q2904627"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3467865$C6BCE1C4-8DE3-4D39-AAF3-550DD726F5A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"80baa7dd24c818fd0c0c74f2138ba1261f4733e6","datavalue":{"value":{"entity-type":"item","numeric-id":2480780,"id":"Q2480780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3467865$9052EF92-E366-46FB-950E-6DD61A58B36B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf4fab5a4519bb0e4a7392865538dc50ad77fca2","datavalue":{"value":{"entity-type":"item","numeric-id":1193587,"id":"Q1193587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3467865$8FA7ADFE-4586-405C-86E8-A40444BFE6F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2990e15db3ec1299bacd39e760b2d345098c103a","datavalue":{"value":{"entity-type":"item","numeric-id":4845472,"id":"Q4845472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3467865$B259452F-2F8A-42C0-AB9A-F59D3AB253BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d0863918228d158fae088a6efc6f79f2c8e8057","datavalue":{"value":{"entity-type":"item","numeric-id":3724245,"id":"Q3724245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3467865$17CE7AF1-DCC7-41C8-9199-F712131013E2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"437a2fff1f99d90f371a09474bfc630c8aaba1b5","datavalue":{"value":{"entity-type":"item","numeric-id":2424878,"id":"Q2424878"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e761893a37c84d7c3bdde592cd96756d01344bfb","datavalue":{"value":{"amount":"+0.8414564728736877","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":"Q3467865$6B1D06BC-4AFC-436E-B4F8-06BCC743E0DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3f6b7498f5920637787f322928d176bdbab0ec91","datavalue":{"value":{"entity-type":"item","numeric-id":3461297,"id":"Q3461297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3b27cb941e7eac168c91bea0eebd37a94a7bf956","datavalue":{"value":{"amount":"+0.8154164552688599","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":"Q3467865$32D59B46-1E2E-453C-8F40-8B435A7121B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d9bc0d0a982a32d3b01e7797b4f0d8f4a290eca8","datavalue":{"value":{"entity-type":"item","numeric-id":4925273,"id":"Q4925273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1e1e8cc3f0cbbd81a8c0ae700652242ecb5cd8f0","datavalue":{"value":{"amount":"+0.8023490309715271","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":"Q3467865$E64ECF6B-621D-43D6-8C31-48E692AF5F94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2f4b83a025725df70d00421fd10e6fc3cea39ac7","datavalue":{"value":{"entity-type":"item","numeric-id":5234701,"id":"Q5234701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"016ac22a0d46b10aa2bbbd25c4693849bfb50cc3","datavalue":{"value":{"amount":"+0.7920255661010742","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":"Q3467865$88A1B8A6-7D80-43B8-8434-F8227BCDFD9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c964a0de9d90a23e2357bc2e4c7d91c3a559d651","datavalue":{"value":{"entity-type":"item","numeric-id":2386107,"id":"Q2386107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"54ef09623157c3422abf991e6a5047ed4b8d949a","datavalue":{"value":{"amount":"+0.7819384932518005","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":"Q3467865$96E1F542-16A7-4946-95A0-72C1D70801C9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3467865","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3467865"}}}}}