{"entities":{"Q6041133":{"pageid":13172133,"ns":120,"title":"Item:Q6041133","lastrevid":56816520,"modified":"2026-03-23T16:39:58Z","type":"item","id":"Q6041133","labels":{"en":{"language":"en","value":"Start pruning when time gets urgent: partial order reduction for timed systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7689227"}},"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":"Q6041133$C2F54CA3-00A3-47DD-9806-1EC99C822775","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1a1007ce6440a5da3ef4c2613d3adc970a4656c5","datavalue":{"value":{"text":"Start pruning when time gets urgent: partial order reduction for timed systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6041133$BFFF83EB-D95B-4363-A423-9B236A3A8882","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7bad303beedd1ba0ca1bfa2c437eda3c891c241a","datavalue":{"value":"1511.68180","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6041133$3FC9F08D-F067-474B-BB9B-3A00EE02AB19","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e8fda986287c3533cfcdb158783a2bbbfa0f56a9","datavalue":{"value":"10.1007/978-3-319-96145-3_28","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6041133$32C1CD52-124C-48CF-8074-A8290E832F54","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3d2719cf15a5332bdbf0619fbb0d90e68728953b","datavalue":{"value":{"entity-type":"item","numeric-id":832026,"id":"Q832026"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6041133$F6AE95B8-C5EA-403A-B076-8A828BADC3EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c2dcd7be7baee2e36f03a03258eb2168c5e33821","datavalue":{"value":{"entity-type":"item","numeric-id":1675811,"id":"Q1675811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6041133$BD59E837-A40F-420B-9D88-3C35916A232D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7ac8acc0ee38d6ade72f0d112f1c054cc98c3505","datavalue":{"value":{"entity-type":"item","numeric-id":808272,"id":"Q808272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6041133$8FDD6B54-C4F2-495D-92DE-44F72EC41730","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2df95935df03df31d922a94adcaf961a4ef2c34b","datavalue":{"value":{"entity-type":"item","numeric-id":832028,"id":"Q832028"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6041133$B88E86A4-BED2-4BB3-8B6C-F4CCAF82B3CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"115241a544f99ad7a30e923fe7cd2e43b86b4105","datavalue":{"value":{"entity-type":"item","numeric-id":444489,"id":"Q444489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6041133$2FB915B5-0DE6-4914-8AC0-4FF7A56751B7","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d4ba228bb5693c2e3eb7592c46c7d713183c8c65","datavalue":{"value":{"entity-type":"item","numeric-id":2864836,"id":"Q2864836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6041133$3988AF74-5B93-4C77-99D2-158EB49648FA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9e202514302232ff7f5ec81097f072c587f02b43","datavalue":{"value":{"time":"+2023-05-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6041133$D4833232-B27B-4300-9F66-5D33CEC309DF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6041133$5372BE23-92B7-410E-9D41-4596F2317FB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6041133$4005E909-EF89-47DB-974D-73645A9D3AC0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7d7895fa7e7038ddfe8c6cddd4e69f918c62af64","datavalue":{"value":"7689227","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6041133$4412B281-64E4-4AEC-8DD2-0B365FDE5071","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":"Q6041133$3DD9F9D8-A86A-49B7-9224-533C77C357FA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c4ba25e44138d39ab7922cf86c3f32f7aad97e8d","datavalue":{"value":"https://doi.org/10.1007/978-3-319-96145-3_28","type":"string"},"datatype":"url"},"type":"statement","id":"Q6041133$9ED0FEBE-C5EF-4F05-9B98-EB834DBF69E2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5261ad60c4281ac4312040d0c3fbf67d218ab104","datavalue":{"value":"W2884909450","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6041133$EAC56C53-9758-4453-B49A-29CF92D32F6A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5802434272bbceae626d6ff63ec1c33c6618c754","datavalue":{"value":{"entity-type":"item","numeric-id":6485866,"id":"Q6485866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0bcba14c3223696edce5d2ff412d18488f65c379","datavalue":{"value":{"amount":"+0.8346034288406372","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":"Q6041133$D43BDCAC-0695-451F-B6AB-5EB6740CD7C0","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":"2a7c49029aca269fd89d095bd607daffc36c7108","datavalue":{"value":{"amount":"+0.7966929078102112","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":"Q6041133$2B3798A8-E931-4318-84D5-A449DC50A3FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"92cc3166adaf0c3bd27fde93960ccbe35930419a","datavalue":{"value":{"entity-type":"item","numeric-id":1645216,"id":"Q1645216"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6a6d65ca07cc6ffe8bc069fe1487f6087b717e3d","datavalue":{"value":{"amount":"+0.7749286890029907","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":"Q6041133$085311C1-8344-4714-B5C5-A4F3F06A8597","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"81b97feaafae90055a64b6fd343b80dc9061a559","datavalue":{"value":{"entity-type":"item","numeric-id":5500554,"id":"Q5500554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"62d7ec0083f6e2acffdd0a181d662f217f0c5485","datavalue":{"value":{"amount":"+0.7665062546730042","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":"Q6041133$59A1EB9B-EDBD-4032-AC61-127CD51A6ACD","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":"f9219d76f051180f215a347e47caff5c20394643","datavalue":{"value":{"amount":"+0.7457086443901062","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":"Q6041133$AE443FCC-ECF9-4012-B452-9DC6B5023632","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6041133$80FBE830-55C9-4D7E-ADC1-B811049F8A0F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6041133","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6041133"}}}}}