{"entities":{"Q3393383":{"pageid":3404086,"ns":120,"title":"Item:Q3393383","lastrevid":50749262,"modified":"2026-01-15T00:55:03Z","type":"item","id":"Q3393383","labels":{"en":{"language":"en","value":"Revisiting Satisfiability and Model-Checking for CTLK with Synchrony and Perfect Recall"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5597333"}},"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":"Q3393383$93E83BD8-F3B0-4450-A971-8EB1B9B99E27","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1873eae3e97711e3079645271a187be16fa2ef72","datavalue":{"value":{"text":"Revisiting Satisfiability and Model-Checking for CTLK with Synchrony and Perfect Recall","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3393383$A39EF5C8-CAAA-4504-AC47-134F3CFEA9D8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8db8a43741daba437fb964769b496e471b6bfa91","datavalue":{"value":"1250.03026","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3393383$0A5807CE-7CD5-45A2-9F20-B82F14F34CE5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"477083acf5116411473ffefa1929be90ed8e227a","datavalue":{"value":"10.1007/978-3-642-02734-5_8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3393383$8D41C487-903A-4D99-B933-13DF11CE192E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a06e5ef1bece8fdb4fdd3515de35bf8fe9d93b2d","datavalue":{"value":{"entity-type":"item","numeric-id":282108,"id":"Q282108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3393383$4156B247-B6DE-4E69-A857-C286A93844C6","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":"Q3393383$55170C7C-18D4-4B7F-9393-5D996E53867A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0e37402ce5463f5ebaa93189340d9af4a5c60d29","datavalue":{"value":{"time":"+2009-08-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3393383$AA9EAB1E-C985-4EB5-B840-2671DD412B36","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3393383$5C02751F-3440-49C6-89B8-41C64A6E7504","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"19e8b53914fe36a939b2f687be46776db2609217","datavalue":{"value":"03B42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3393383$C4A7B350-BE1A-45EC-8187-BA3C0D98ED77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3393383$00B49DA4-5D3F-451B-A54C-CF7C0B3EE531","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"709ed67c42bb169499eabe0b6d04c203d4526e03","datavalue":{"value":"68T42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3393383$3C31D8DB-160C-43F0-9144-728B93451C11","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3eedf5e3907577792519e92d33f614dad6d67a9b","datavalue":{"value":"5597333","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3393383$677EDA1A-5C35-40C4-9344-A930B917B6B6","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9e3f84d9812dbe2b9f43d05f4bc1fc3ce47540e4","datavalue":{"value":{"entity-type":"item","numeric-id":18304,"id":"Q18304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3393383$25E15CE4-B6E3-4AAA-939B-F0250164A4BD","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":"Q3393383$5EE229DD-3519-43F0-B15D-53271AB3E90F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b0e2a7c081ecb904656d59ac045c558e906d4592","datavalue":{"value":"https://doi.org/10.1007/978-3-642-02734-5_8","type":"string"},"datatype":"url"},"type":"statement","id":"Q3393383$BCB056C6-A3A1-482D-8C1E-95B6BB95C129","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5ec4a285e0510a2e73826804ca7644fa96721a2d","datavalue":{"value":"W2214827277","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3393383$B0F7429E-B885-4150-9907-63BE79F13659","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"731fff832e7711198e063399154f72f88c50c123","datavalue":{"value":{"entity-type":"item","numeric-id":3719811,"id":"Q3719811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3393383$AFD2B610-E3AA-4B6A-B388-D40EAE19FE7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a88f4dfc04d619fd236d031fd77a8237c8840f7","datavalue":{"value":{"entity-type":"item","numeric-id":4938632,"id":"Q4938632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3393383$7966F5FB-75BB-4565-A862-7ACE96D705C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f84c82de96fb7c7b710e84da042fa6d2d7d4ea68","datavalue":{"value":{"entity-type":"item","numeric-id":5520636,"id":"Q5520636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3393383$77C2CCEF-1D29-4CD9-B484-F497C4BD3DC1","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":"Q3393383$41ED93A9-3EB2-438B-A0D1-5D22CE4538A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9454776c8e95be8590581925e4520a2ce0d4e418","datavalue":{"value":{"entity-type":"item","numeric-id":1119565,"id":"Q1119565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3393383$3C6E36CB-FD88-4A62-AFF3-44DBC81A7048","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"57ee09d94bfcf54044ba878c48690e939ed437ef","datavalue":{"value":{"entity-type":"item","numeric-id":5486061,"id":"Q5486061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3393383$DDD01E48-AE65-4DFF-82C1-3C25B95DD3E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"93c253900e4829cb5d0d6d60e214b68399dc4e6c","datavalue":{"value":{"entity-type":"item","numeric-id":4856597,"id":"Q4856597"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3393383$C9032BF9-29A2-480C-8F3C-14033B2517BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"19ec1ba56991efe8104d108b59c02ed6e35948b1","datavalue":{"value":{"entity-type":"item","numeric-id":2372185,"id":"Q2372185"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3393383$E40D5AD5-4686-437B-8BC8-9C3DB3EAB5A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fedbccefe4d762629d49ba73b6dcf696b21dcb66","datavalue":{"value":{"entity-type":"item","numeric-id":1199531,"id":"Q1199531"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3393383$95A1843B-C508-4BD0-B337-246145AD4861","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e936252766823946b31698155c4e9b57f235ef83","datavalue":{"value":{"entity-type":"item","numeric-id":3509047,"id":"Q3509047"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3393383$34EE796F-B3D5-4097-8B5C-17F6C1486770","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"94a2193ae14199da925d7af311a9e576826127c4","datavalue":{"value":{"entity-type":"item","numeric-id":1383157,"id":"Q1383157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3393383$BECCE398-7C31-444F-A97E-09B3F96195D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba9423e8a70f66f1c42f30543c752d4bb06e3d0d","datavalue":{"value":{"entity-type":"item","numeric-id":4501688,"id":"Q4501688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3393383$B6ADE063-8F03-4E8E-8925-210A04AF36CD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f6d2ab5bc7e4f6e47ce2cfac808d5206f05d7cf4","datavalue":{"value":{"entity-type":"item","numeric-id":4501688,"id":"Q4501688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cfaabf89674ead2f7dfcb10b3ac55b0750ab6325","datavalue":{"value":{"amount":"+0.82991623878479","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":"Q3393383$193F19C7-46A9-4026-BCC0-B6A9F4249ED5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"39743f77185560a377781cc91bf41d36750009ea","datavalue":{"value":{"entity-type":"item","numeric-id":3401961,"id":"Q3401961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"82b7b9f28a818cfd6875a920b49978c90b5ab86f","datavalue":{"value":{"amount":"+0.7989569306373596","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":"Q3393383$EA355456-5C44-433D-945D-152F2128FD99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8261f1e6c5939fc8e292fdd13d0068fa1046f0a5","datavalue":{"value":{"entity-type":"item","numeric-id":5486072,"id":"Q5486072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"30db695ef6a96af1c102a2c306b3a24b36300253","datavalue":{"value":{"amount":"+0.7945054769515991","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":"Q3393383$C8CF5CBD-47B9-41F3-85F3-73D5161C9417","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"997af5c7e27fcae73d7075d665cef4ca756586f4","datavalue":{"value":{"entity-type":"item","numeric-id":5434507,"id":"Q5434507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"090bdff6a0ea3ded14bbe7855431aad65afc418c","datavalue":{"value":{"amount":"+0.7934879660606384","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":"Q3393383$7EB2BC49-06E0-4006-B06E-52EFFF7F4555","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ea77b4c1bb55e0624ce32a2460de260e69a4395d","datavalue":{"value":{"entity-type":"item","numeric-id":5034220,"id":"Q5034220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"17c8c236f0b2b4aa868f4d3b38840e5c8e1475a7","datavalue":{"value":{"amount":"+0.782509982585907","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":"Q3393383$898C458D-B66E-4074-AC65-71C50F71D85B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3393383","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3393383"}}}}}