{"entities":{"Q960506":{"pageid":962354,"ns":120,"title":"Item:Q960506","lastrevid":50531003,"modified":"2026-01-14T07:41:25Z","type":"item","id":"Q960506","labels":{"en":{"language":"en","value":"Combining partial-order reductions with on-the-fly model-checking."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5477973"}},"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":"Q960506$EBA9E284-15CF-46F5-9F80-F16F42BB95A9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"adea5c3397c81cecf369ecb43f0290f684375852","datavalue":{"value":{"text":"Combining partial-order reductions with on-the-fly model-checking.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q960506$01D881D9-FAAC-4432-AA93-5C5F30BC748A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"de8d05926cdde255506fbb856a0077c074a09332","datavalue":{"value":"1425.68267","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q960506$315A277F-B722-4258-97C0-B4C3DE219764","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"39aca69f288eed46cf6c99e9d376d85056ca6726","datavalue":{"value":"10.1007/BF00121262","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q960506$61B20E61-F212-46BB-9D75-0525F876EC2C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"70551fcc6e89042fc26ae9242a005533b44a2d7a","datavalue":{"value":{"entity-type":"item","numeric-id":169908,"id":"Q169908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q960506$C05E04EC-C227-4E85-9AA2-11DC5937CF44","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5e585f09c3e724b05f201668ef36e38cb4b3cf3a","datavalue":{"value":{"time":"+2008-12-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q960506$9BCEF68C-3268-433E-B443-C203096A1638","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q960506$8CF9B79A-9B16-4B72-AEA0-C6905F92DC83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q960506$B886392D-BC76-4DD6-B9E7-E7FA0D0C6C0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q960506$959E68E3-1F9D-489F-9D35-70A8A7A5FA1B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"909b5d04f90e533be9d44deabc87a50854149f18","datavalue":{"value":"5477973","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q960506$FDE8BE36-E205-43D0-B3D1-9490842E2ED2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q960506$DC23C12B-9AB0-4364-A28A-73A380C73627","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7dc3d3e3e0085575e218b579cce7695cbe5b28b4","datavalue":{"value":"partial-order reduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q960506$FBED5920-1D34-44B1-8BD3-981B265CEB99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f5e8ee6d6c130ba687d9b7eb1c058acea995f4c2","datavalue":{"value":"B\u00fcchi automaton","type":"string"},"datatype":"string"},"type":"statement","id":"Q960506$08A1D201-07BD-4FEC-9DD4-7FBEF3B9FBF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q960506$6A6EF7C6-C5FA-4A3A-9017-809D5B719C3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6ce889a8a92a5adf9884f2ba6068fac0f7d64b3","datavalue":{"value":"traces","type":"string"},"datatype":"string"},"type":"statement","id":"Q960506$BE6206D4-1CEB-49BD-A484-9DDA7F7FC3C1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"01b122714b074858e7dfe34a02e4db705a543a81","datavalue":{"value":{"entity-type":"item","numeric-id":200942,"id":"Q200942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q960506$C8CD9077-3973-47CF-A0AD-395361E37D86","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":"Q960506$AD553A4C-8004-412C-A237-1590D42C9363","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"118b337def20aad99129592a4129251c2e27dca4","datavalue":{"value":{"entity-type":"item","numeric-id":1112589,"id":"Q1112589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q960506$64990744-5B9F-4F5D-A2CD-A7FD039DEF64","rank":"normal"},{"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":"Q960506$65EABC7A-83B2-4675-8F95-F63AE59B6DD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f71de609ff45fda59e00d0de57593961b4ccdadc","datavalue":{"value":{"entity-type":"item","numeric-id":4037108,"id":"Q4037108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q960506$22DD4517-CE76-4076-9CF3-769481F4C465","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a70145a65c17f218441b1c74c9ac9f02f2de86a","datavalue":{"value":{"entity-type":"item","numeric-id":1194331,"id":"Q1194331"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q960506$688AC4B5-924C-41C8-8DF7-C14212F7F26B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e77ccf428ca1b394ee0eb78a76560bc9b01d66c","datavalue":{"value":{"entity-type":"item","numeric-id":911318,"id":"Q911318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q960506$4E5B022E-62D1-4BB3-8F39-9BA4325F8E00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e89746956d217860016a766c2127e6c1ab5916e","datavalue":{"value":{"entity-type":"item","numeric-id":1322161,"id":"Q1322161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q960506$A4026759-1214-4307-B332-8F9186E0D3DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d998f10dbe733ce0c4fe3996b622c39d39adbcb","datavalue":{"value":{"entity-type":"item","numeric-id":3662639,"id":"Q3662639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q960506$FE7F0D0A-C357-45B4-B626-23FBC7D7A30B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e83259e578154537ff65896b57deb09fbea84dc","datavalue":{"value":{"entity-type":"item","numeric-id":4037087,"id":"Q4037087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q960506$BB68D6D3-2304-4629-8C60-FC2BF7154C54","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"edeb138f79abb370f8e2e3491d0fe9a878a652ed","datavalue":{"value":"https://doi.org/10.1007/bf00121262","type":"string"},"datatype":"url"},"type":"statement","id":"Q960506$E7A12A98-9027-4EF5-99B8-D7EDC57BC36B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"be4ea32ff8f16f948689e793a1719aee9f59ca53","datavalue":{"value":"W1965309410","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q960506$3AF9102F-BEC1-43D9-8EE6-45B2AD50F333","rank":"normal"}],"P1643":[{"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":"50151500337b651927b26fdb73f1215c0749aa89","datavalue":{"value":{"amount":"+0.8388335108757019","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":"Q960506$379A64B7-D44D-4AF1-9304-A79126E587F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2d4cc3b957fee28e812a6d90197c8aae0f3811c2","datavalue":{"value":{"entity-type":"item","numeric-id":4503926,"id":"Q4503926"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e93ad76115cf2caec9a46bc11786e45dad55a044","datavalue":{"value":{"amount":"+0.832255482673645","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":"Q960506$8E002D4D-FDA4-4658-B55D-C583092F1A07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"430a37bf04db9c21fe1ff8141794a20cfc720c0a","datavalue":{"value":{"entity-type":"item","numeric-id":1854268,"id":"Q1854268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"89f6fe6157873c9fa3e581034c757f2e5308656b","datavalue":{"value":{"amount":"+0.8307983875274658","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":"Q960506$FE05C853-5277-4C47-BF1D-A22A77E2F038","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c4ab2a2800d318bfebe60af199e1e3bdd16617e0","datavalue":{"value":{"entity-type":"item","numeric-id":3176364,"id":"Q3176364"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"94667f05a217bfe07304194cc4726b0532930703","datavalue":{"value":{"amount":"+0.8100907206535339","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":"Q960506$9B0A4DD5-6FD8-48D8-8F1C-92ABDEE1C246","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"20f710f1cb19bc2f692bd1c525fa93a6dbf7bdae","datavalue":{"value":{"entity-type":"item","numeric-id":5276139,"id":"Q5276139"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e212669bdc43e7754615f23d4b9cb8673c998181","datavalue":{"value":{"amount":"+0.806536078453064","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":"Q960506$831CCA63-85E3-47B6-9CEC-2552D9D6DD3A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:960506","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:960506"}}}}}