{"entities":{"Q3510846":{"pageid":5540750,"ns":120,"title":"Item:Q3510846","lastrevid":88423961,"modified":"2026-06-04T14:29:14Z","type":"item","id":"Q3510846","labels":{"en":{"language":"en","value":"Partial Order Reduction for Verification of Real-Time Components"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5297079"}},"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":"Q3510846$FFD0B49F-3D14-4FE4-B359-C08BA66295E5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b865ead8089877b763160a4c242de80cabc9e3c3","datavalue":{"value":{"text":"Partial Order Reduction for Verification of Real-Time Components","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3510846$F687EE23-38FF-4994-9820-849FDFABBBC2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"da507f71c5482d8205ee0319424bd9fa2c69f2da","datavalue":{"value":"1141.68468","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3510846$7248F9C5-E38A-4397-9338-6075C2B91759","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0cd0959f2165ee3d8a83b63b8677d8ec30923d7e","datavalue":{"value":"10.1007/978-3-540-75454-1_16","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3510846$643F075B-D028-4C11-9F73-1B5B4F7E06F1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8a15a3a98f6b001761f4eabfa8a00168bcc40ca2","datavalue":{"value":{"entity-type":"item","numeric-id":3510845,"id":"Q3510845"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3510846$731F6A02-8A26-4101-849D-BB930F2A2319","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6a7f66814d7b0aeacba32338c67c404e47976f82","datavalue":{"value":{"entity-type":"item","numeric-id":225080,"id":"Q225080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3510846$4AF3A5F1-0C97-4371-B20B-94C36EE354F3","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":"Q3510846$48058188-DC1C-4315-923C-D14CB01BF704","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7f56be72f9fbb489e432bf17d8b59be96c2fd855","datavalue":{"value":{"time":"+2008-07-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3510846$D5F6FD91-016D-461F-9E2F-06A5F03FBAB9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3510846$D39650A4-2F0C-46E0-83EF-1A6135EA1631","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c42d448b0cd54e2f78412665248dd2557be89d3a","datavalue":{"value":"5297079","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3510846$7C8B9408-6623-41B4-9905-0F9EFFEFE8B7","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f1bbb858682c1548480529f0f7d5c7f7d8fad436","datavalue":{"value":{"entity-type":"item","numeric-id":16871,"id":"Q16871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3510846$33EAA613-09CB-48E8-9C2E-8C07ABA58A4C","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":"Q3510846$2A914B14-81EF-4C87-8F87-C0B21F507CC2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6188562d9fec557fdf59f333a5cca6004d117a86","datavalue":{"value":"https://doi.org/10.1007/978-3-540-75454-1_16","type":"string"},"datatype":"url"},"type":"statement","id":"Q3510846$5B1F500C-B03A-4DCC-9025-A47CBCA87B00","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c95f7ee3aa72d6cf20f5681157823f73f4b7a377","datavalue":{"value":"W1925636530","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3510846$B81B2977-7821-418D-B1A8-AF9880A4D9FD","rank":"normal"}],"P1643":[{"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":"3851b266d640ed4a9352aff75fbd9efdf90f9443","datavalue":{"value":{"amount":"+0.8339006304740906","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":"Q3510846$3088B54A-A7FE-46F2-AA2B-BD6F1E0ED1BC","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":"1df03d10f65727e000324ff4818751b0bee7b3e4","datavalue":{"value":{"amount":"+0.8309981822967529","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":"Q3510846$AA36A49E-D5F5-400F-8823-74559B50D2B7","rank":"normal"},{"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":"4e5cb666d32fb03f587fbb4752a9abcf13f5428e","datavalue":{"value":{"amount":"+0.8102267384529114","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":"Q3510846$B01A59A9-35FD-49F3-B343-4AFD781CE684","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":"c46ac5056467e6312f9d2108a28226342f8b273b","datavalue":{"value":{"amount":"+0.8051720857620239","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":"Q3510846$31D98171-2884-45BD-ABE3-9D60BEEC6F2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9919c22b68871cf869a65e85f57cf181d26aadeb","datavalue":{"value":{"entity-type":"item","numeric-id":5930930,"id":"Q5930930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e7ed3c7051ea630f36e0d1f857f97b22258307c0","datavalue":{"value":{"amount":"+0.7972169518470764","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":"Q3510846$5618B13D-CE59-4522-9BBA-4CD9AC3EC1B3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Partial Order Reduction for Verification of Real-Time Components","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Partial_Order_Reduction_for_Verification_of_Real-Time_Components"}}}}}