{"entities":{"Q1125430":{"pageid":1136179,"ns":120,"title":"Item:Q1125430","lastrevid":46858623,"modified":"2025-12-25T17:53:36Z","type":"item","id":"Q1125430","labels":{"en":{"language":"en","value":"Partial-order reduction techniques for real-time model checking"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1375208"}},"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":"Q1125430$BED88F1A-75E9-45A2-9554-39F379C21437","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c2a1e5989dd231e50ed52589ff5b1d9b93dad1f1","datavalue":{"value":{"text":"Partial-order reduction techniques for real-time model checking","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1125430$08DE2D5C-C319-4F1F-ADFD-6B4FA2A2A1B5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6347f709b0bd85485eb9fc2be26af77d80c8e42f","datavalue":{"value":"0952.68070","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1125430$084E9A66-1C83-4AEE-9B25-C332938E9858","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1daf35fe51d80771c6da53504ab2329f1222dcc5","datavalue":{"value":{"entity-type":"item","numeric-id":1125426,"id":"Q1125426"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1125430$F4CAA909-D5C1-4FDB-A108-0B3A3C172399","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bfb188fbdb49047307c62f9a724894277e945f41","datavalue":{"value":{"entity-type":"item","numeric-id":1125427,"id":"Q1125427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1125430$6C0C4901-C9A5-43F9-91F4-D6FFBA30B510","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b771ffef44e971741726a4d44cca2d1066c65a66","datavalue":{"value":{"entity-type":"item","numeric-id":1125428,"id":"Q1125428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1125430$E16E85F2-022A-4068-B9A5-F7277C7AF89A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a99c6e68c4bf3eed343f564904eff07ea03eb8e3","datavalue":{"value":{"entity-type":"item","numeric-id":1125429,"id":"Q1125429"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1125430$FBC2FD62-4A52-4323-8FD7-1769B5FE442E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d9925518446645d219093152a820aba790417b61","datavalue":{"value":{"entity-type":"item","numeric-id":164203,"id":"Q164203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1125430$5025F28F-7F5A-4689-8D3B-9982D0CF48A9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"821776895b8ae7b21a7c293e945d21240df81371","datavalue":{"value":{"time":"+2001-01-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1125430$025428B4-3705-4017-92D1-46D3C6414054","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1125430$9071E72F-D089-481A-89E2-7FEB29972F27","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"df3a6d8ef10b5949f2eb2254b4bdf7bedf19fc41","datavalue":{"value":"1375208","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1125430$A3AFFF69-9069-441B-A751-C883A5BC4521","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"21d142027bf3153eebb876131ac5297907f4e838","datavalue":{"value":"covering","type":"string"},"datatype":"string"},"type":"statement","id":"Q1125430$1E22B3BF-6BE5-4ACC-ADD7-12C73AB97E38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d42570b3f07ce49731c7e0056d1267e6d7e49d53","datavalue":{"value":"real-time systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1125430$F6AA5B25-0567-4C1C-AE68-4928D1B6AE84","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":"Q1125430$B0C2B357-E62E-4B23-8B57-C29D35251FD3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"595a3bfffa9466e1a0d19171bb3728447aaef21b","datavalue":{"value":"https://doi.org/10.1007/s001650050028","type":"string"},"datatype":"url"},"type":"statement","id":"Q1125430$E06BCC16-A7AF-46C6-A8AF-9E1ADB88ACC0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"72d9c6c5fe19ea9cae888ca0051f5905fb4e5ea2","datavalue":{"value":"W2093681800","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1125430$3C0CA7D3-601F-4E8D-BEB0-EA615D476545","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5147efc5933d6a32eb7029559457be2473b476a3","datavalue":{"value":"10.1007/S001650050028","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1125430$DE70DFB8-A35A-49B5-BB61-635B127B4565","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f5427c24d015629f81f24cf668173efc6755e07c","datavalue":{"value":{"entity-type":"item","numeric-id":3510846,"id":"Q3510846"},"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":"Q1125430$DCA2181D-DAB1-4AC5-BB00-920A97874F00","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":"7deea9b0935ceaac8c963eac2ba2c71bdec8269a","datavalue":{"value":{"amount":"+0.8151918053627014","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":"Q1125430$D0F88209-5114-4B26-BB39-12E864182F31","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":"ad683ca7f3035e994c7273f1d3a19cdb8c7a19b6","datavalue":{"value":{"amount":"+0.8145401477813721","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":"Q1125430$697E02EA-6BA2-4CB1-9D83-EEDFA968055D","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":"b5260c1bf479aa70d8205897227973a26c96f65a","datavalue":{"value":{"amount":"+0.7970799207687378","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":"Q1125430$AB617C57-5607-48B8-8C77-F59A95BC08FD","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":"bbb43b4bf8ce287754214ea4b3ca985337d0736e","datavalue":{"value":{"amount":"+0.7951969504356384","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":"Q1125430$603FA7FA-AC8C-4A3E-8338-B5D70CBD9DE2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1125430","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1125430"}}}}}