{"entities":{"Q3558281":{"pageid":5588185,"ns":120,"title":"Item:Q3558281","lastrevid":50972417,"modified":"2026-01-16T00:56:13Z","type":"item","id":"Q3558281","labels":{"en":{"language":"en","value":"Deciding full branching time logic by program transformation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5703467"}},"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":"Q3558281$15553C18-9F50-4198-9B14-A737D676C40B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b0eeef33cbc40cec973a67f4274af77494bc5426","datavalue":{"value":{"text":"Deciding Full Branching Time Logic by Program Transformation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3558281$BA02F64E-752E-481B-B5B0-3F3F5C9E8327","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5e564a7c9e75f3a74c21811d300dac31bd35049c","datavalue":{"value":"1284.68413","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3558281$30F7DB05-D6FB-4815-A699-427948F4860B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c86460e57da9aabdf87b542e8f8e6538db024bbf","datavalue":{"value":"10.1007/978-3-642-12592-8_2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3558281$411DF87A-1723-46F0-9780-8088F41F578D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a87226e249edb34abf2b072fcc5b9b500b03b478","datavalue":{"value":{"entity-type":"item","numeric-id":673495,"id":"Q673495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3558281$B241E357-7BA2-4B43-97C8-414F66367526","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1b380511e08624421de73be74130c083d2234aa7","datavalue":{"value":{"entity-type":"item","numeric-id":673494,"id":"Q673494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3558281$12331108-466A-4189-919D-99CE495A17FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9431f83a4f8857bb74e3ca69031f854d9b027223","datavalue":{"value":{"entity-type":"item","numeric-id":1941872,"id":"Q1941872"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3558281$22C3BD9F-3320-4E06-82E2-E9997BE24462","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"adb24e8791ad8d605f348f62fef07af498b65f70","datavalue":{"value":{"entity-type":"item","numeric-id":2848891,"id":"Q2848891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3558281$36A8E91A-2F8D-4B37-9760-7E50E20C114A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b0d489a41f5ce9c5a7b74a3f4e524032b8d5d571","datavalue":{"value":{"time":"+2010-05-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":"Q3558281$575546A0-D52E-4DE7-A399-40DAB58A9B5B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"694fbb907b48b917e50c23768b2eb4405c952e35","datavalue":{"value":"http://eprints.imtlucca.it/1372/1/Senni_LNCS_2010_preprint.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q3558281$1321C8A7-41C7-4765-B4AA-7F92BBDBF5F1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3558281$6C17D0C0-6117-4632-BEF6-0D28C49A751E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3558281$EF882443-CAFE-42B1-B561-302E02856F8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3558281$9DF08543-4AE0-4722-82B8-82D0DC091C82","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3c6ad658fa977e77a745e90275ce568151d61ea5","datavalue":{"value":"5703467","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3558281$3F363E95-CDAB-4C6E-BFA7-6402AFFBE8B7","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":"Q3558281$7529CA65-3A53-4B5E-BB0A-54170C735581","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0f5f41b308afc318bde1af1626cf1654ea6d3edb","datavalue":{"value":"W1596352299","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3558281$79ED0522-5C46-4FE8-ABD7-17B23794E749","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a1c02e3149e1e8373cebee18739c84d5d205337c","datavalue":{"value":{"entity-type":"item","numeric-id":3585155,"id":"Q3585155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b29609c5ba4ffeb2f6c5156c6b5266c2370d4034","datavalue":{"value":{"amount":"+0.7853323221206665","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":"Q3558281$F4BD87F2-2F99-4825-9FDD-76D308C5269B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7f916edd1fdfc353e2c4e2b983a5961a845cca9a","datavalue":{"value":{"entity-type":"item","numeric-id":3578393,"id":"Q3578393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"73a22cd249e3c870d23566e8dadfdf9aefbe465a","datavalue":{"value":{"amount":"+0.7751578688621521","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":"Q3558281$BEF9DD40-4278-4FE4-8FC3-84116CF192EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"93c5a5cedb253aa37578ec197c7e563a953c49be","datavalue":{"value":{"entity-type":"item","numeric-id":4808811,"id":"Q4808811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"00e9601e233d5e650ceb48dfd413afa30926305c","datavalue":{"value":{"amount":"+0.7653078436851501","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":"Q3558281$AE21F7CB-3030-429B-9C63-03882D54E94B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b9ecaebec92af5dddd85d10e64d18937aa1be945","datavalue":{"value":{"entity-type":"item","numeric-id":3722471,"id":"Q3722471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2f936f565933419fd568ab26588d1c0b003838d3","datavalue":{"value":{"amount":"+0.7647101879119873","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":"Q3558281$7390297D-3097-4D91-8C98-C431D2BFF8D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ecda4b9f3b9fb9cdc5205cfe3aeb3a793ba49afb","datavalue":{"value":{"entity-type":"item","numeric-id":3079918,"id":"Q3079918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8d486ab5bed94b91a2ff868e028280e77da8cd4d","datavalue":{"value":{"amount":"+0.7622730731964111","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":"Q3558281$3942C749-24FD-4DD6-A120-106B30B4D83B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3558281","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3558281"}}}}}