{"entities":{"Q3605476":{"pageid":5635382,"ns":120,"title":"Item:Q3605476","lastrevid":49666759,"modified":"2026-01-08T20:57:29Z","type":"item","id":"Q3605476","labels":{"en":{"language":"en","value":"Partial Order Reduction for State/Event LTL"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5510241"}},"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":"Q3605476$F4BB79FB-F595-4FE5-A147-D263E060192F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3fba249a75a6bbb76fea95fd844a3ac68ff59ed0","datavalue":{"value":{"text":"Partial Order Reduction for State/Event LTL","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3605476$08797CB1-5BF3-4BA4-8DE9-2A0087881832","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e35a12b646bff09e41630e24ac0184bf6b189948","datavalue":{"value":"1211.68244","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3605476$BD9BA38C-1685-40B0-BBCA-5AE8970662CD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a3c64f2bb7f23d06b65dc54038d48724c2fa0676","datavalue":{"value":"10.1007/978-3-642-00255-7_21","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3605476$0AA755A6-ADFE-4A0F-B0EE-389E4765A835","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8fa84f57d804aaf31f58858be616d04e3d77b666","datavalue":{"value":{"entity-type":"item","numeric-id":282092,"id":"Q282092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3605476$5A2E49F0-2459-4CF0-8596-07E79B876764","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d9b09522aaee1c72f01701b4e5032b55d6618dfd","datavalue":{"value":{"entity-type":"item","numeric-id":282093,"id":"Q282093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3605476$D29C37A6-F52E-40F6-8383-0753EDD15889","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"567f041071dbe0880917f1d9e087f36f9c135c37","datavalue":{"value":{"entity-type":"item","numeric-id":549690,"id":"Q549690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3605476$22748F58-49D1-4C33-8D39-E39420811D41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"811eb738496cc9ab3bc4cb7709f23dcfc89b6161","datavalue":{"value":{"entity-type":"item","numeric-id":549691,"id":"Q549691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3605476$960608E3-D9E4-4B46-94E8-667596C45738","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e8ce75bb626ae6c4b5a3126d505735258866f3fe","datavalue":{"value":{"entity-type":"item","numeric-id":3605475,"id":"Q3605475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3605476$78756F30-15B9-4729-BE4B-C7A46485B4BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"49f82df4d18eab422e11b74b412720f50f68da1a","datavalue":{"value":{"entity-type":"item","numeric-id":1306564,"id":"Q1306564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3605476$F7CA3C00-95EE-4DFA-B14C-801FA386E232","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":"Q3605476$4962990F-9914-476D-B17D-9C953F3BCA7F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e18d4fd78a311e2c3bebfb4c4076a76532be8395","datavalue":{"value":{"time":"+2009-02-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3605476$BE58B4FD-25B5-45B2-93A9-BC332C43F2F3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3605476$B85E1C47-50FB-4598-8602-2D7FC0D24503","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3605476$82EA5E31-81AF-424F-B6D7-85A366A09804","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e1a45cd206efa3e0d1ecd447bdbdbcf26e2af932","datavalue":{"value":"5510241","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3605476$3B252DFD-A163-4360-9291-8EED82CE68E7","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"3c11dd4f5e8562a7579fa5f894672b041bb21507","datavalue":{"value":{"entity-type":"item","numeric-id":16315,"id":"Q16315"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3605476$19AAE55F-A3AE-4D5E-8D92-734D706AB155","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b20bdd44ba5dda1408033b52815544ca46ca60dd","datavalue":{"value":{"entity-type":"item","numeric-id":26067,"id":"Q26067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3605476$2AC9F4A6-AA0B-4DA8-9E86-BE12599DD128","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":"Q3605476$34289C58-BE39-4781-A1EB-3A33EC1B1213","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ea15d03766fcb9776fcacc8c43e2d34d7c7d9db7","datavalue":{"value":"https://doi.org/10.1007/978-3-642-00255-7_21","type":"string"},"datatype":"url"},"type":"statement","id":"Q3605476$9969E7D8-2B7A-4573-A309-3E6367DD2B9B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1a01271e8b625c6314470506f5196b7ed2f45001","datavalue":{"value":"W1508747126","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3605476$5C56D137-5FCA-451A-97AF-716443DDCA28","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c143f034c0a7d849f348722742ed4728088212d1","datavalue":{"value":{"entity-type":"item","numeric-id":5901610,"id":"Q5901610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3605476$B9AEC405-C88B-4A74-BA08-473B7CB3ABDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"696f369b4c0894259ebfe727f1a9326063f199f5","datavalue":{"value":{"entity-type":"item","numeric-id":2432214,"id":"Q2432214"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3605476$0FC2A095-2360-4D28-9AFD-E0ED2796A944","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03ec02d8b891c336785f7e10a18e41b4382dcbcc","datavalue":{"value":{"entity-type":"item","numeric-id":4037380,"id":"Q4037380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3605476$FA05BB3E-69EA-4F82-A79E-3837F46335FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de1505d9b33c312794d5990cceccb798d2ac92bb","datavalue":{"value":{"entity-type":"item","numeric-id":4037382,"id":"Q4037382"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3605476$A9F00D4D-3072-46BB-B17C-C4851F8498DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"857799d8f0c80d23f1693fb90d554f48eb5bb5a0","datavalue":{"value":{"entity-type":"item","numeric-id":290250,"id":"Q290250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3605476$995FDC4D-1228-48E2-8A18-804C57AD61CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0bc1d9b2b244b625d820a8233659bc5e08d9db86","datavalue":{"value":{"entity-type":"item","numeric-id":5703816,"id":"Q5703816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3605476$DFEB52ED-4CB0-4C10-9F05-48EE2582B849","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"031cfcfd4fea3f8a3fe578c9daadfe0870bc4023","datavalue":{"value":{"entity-type":"item","numeric-id":4473719,"id":"Q4473719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3605476$131728A3-FF07-47D4-90C6-6358BAA322F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f4533a245c21db753af232c184081d9b98ae22d","datavalue":{"value":{"entity-type":"item","numeric-id":3833630,"id":"Q3833630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3605476$32E5AA42-C178-4F2C-9206-5289F3A2690D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c003c36b1ed6d5e52c413ba8501fbc61ab9d56b1","datavalue":{"value":{"entity-type":"item","numeric-id":3605476,"id":"Q3605476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3605476$A2F7D809-2B75-447F-AFF0-CD466942F281","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d12b06e6ae1da03648e7ab22e363f7d0d9f46121","datavalue":{"value":{"entity-type":"item","numeric-id":5899046,"id":"Q5899046"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3605476$3F3FD508-B026-48D8-8CC9-4A5CF088CD4E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d5cb8b183ed5ee1763da8aba5e0e26740d34f837","datavalue":{"value":{"entity-type":"item","numeric-id":549692,"id":"Q549692"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fd14049b3e163dc0b62b5fc09c119e033e7389ef","datavalue":{"value":{"amount":"+0.96059906","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":"Q3605476$DF68D5F5-F859-48EA-B3BD-F901B4233BA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6ac0293f6d7778aff62ba38b5fbd353952a34dcd","datavalue":{"value":{"entity-type":"item","numeric-id":4270073,"id":"Q4270073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"95c9c38db485bad7e22319b18ac7d6a5e79a6bf0","datavalue":{"value":{"amount":"+0.8937771","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":"Q3605476$893E77F0-3695-4D0C-974D-49AA2D125BC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1567c150d5c328362fa83ae30d300d06a7f6375c","datavalue":{"value":{"entity-type":"item","numeric-id":6132490,"id":"Q6132490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e9912eba93655b8c8209fb2a26ef96a5d050e212","datavalue":{"value":{"amount":"+0.8900534","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":"Q3605476$F4C636B5-C69D-4B9F-ABDC-93DFA736A3FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"10b8af454ec2af791b492aaf4ed14827a82eb1ff","datavalue":{"value":{"entity-type":"item","numeric-id":4738472,"id":"Q4738472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"74806620ac6f6a282fff2249685aa68357266bf7","datavalue":{"value":{"amount":"+0.8886208","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":"Q3605476$20072C55-4757-409A-B0D1-E24D08542694","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d125c414354850f70be24047234e0619850326dd","datavalue":{"value":{"entity-type":"item","numeric-id":3133158,"id":"Q3133158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"92048594eeaba2f607298a0acca06fb4c8082ed7","datavalue":{"value":{"amount":"+0.88305736","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":"Q3605476$E6DEA758-FEA6-43A0-8DC9-A5D86631C142","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b1124589407aabfdc5ce011f199f697dc8b5e040","datavalue":{"value":{"entity-type":"item","numeric-id":4353637,"id":"Q4353637"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2f6a9e914bfef6ffffcfd7caaf207da0c52e469a","datavalue":{"value":{"amount":"+0.87390876","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":"Q3605476$EEB35536-99C7-4B05-ADA0-15AA448FF94B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dffd4ba6cf48f8ac4d638b8da077cd16d550df68","datavalue":{"value":{"entity-type":"item","numeric-id":1125430,"id":"Q1125430"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bc02583e267c70ca5baf6c122b36055ad4110b73","datavalue":{"value":{"amount":"+0.8683344","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":"Q3605476$4DF594AA-B867-4093-8633-1ACD26E5EF75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"66263c755f566f0b8211a769c976d57bd87cbf82","datavalue":{"value":{"entity-type":"item","numeric-id":2152647,"id":"Q2152647"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"db5cb110a1780c9200f939ff0f61b6a1cfb90160","datavalue":{"value":{"amount":"+0.866097","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":"Q3605476$6EF9A6FD-4242-4308-9AF8-3524D2633E50","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3605476","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3605476"}}}}}