{"entities":{"Q884758":{"pageid":886606,"ns":120,"title":"Item:Q884758","lastrevid":65089308,"modified":"2026-04-12T00:14:36Z","type":"item","id":"Q884758","labels":{"en":{"language":"en","value":"Reachability problems and abstract state spaces for time Petri nets with stopwatches"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5162109"}},"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":"Q884758$D0C41148-2361-42E6-A699-9A1931CEE004","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d989e4bdba8cb8c9da9da52aa337bf77c80ca2c8","datavalue":{"value":{"text":"Reachability problems and abstract state spaces for time Petri nets with stopwatches","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q884758$88AD4AAE-E51C-4ABE-B17D-82B53B42006A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1ab8106756411eb3a3fe856447c2da86ad8b07c7","datavalue":{"value":"1134.93369","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q884758$951F580F-26FF-4F4C-8977-31D77F5186F7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"efdedec70f2cb7d9472908a9952597b5373f871f","datavalue":{"value":{"entity-type":"item","numeric-id":645043,"id":"Q645043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q884758$32AC3E2D-0C95-44A1-B659-B20AEC503318","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"607a4318bfb9ac4fa4c0e94dbdcbd3e66269331c","datavalue":{"value":{"entity-type":"item","numeric-id":378903,"id":"Q378903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q884758$9645E638-3874-4D60-9F73-3D12A9057546","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e8095e556245540fb27a9caa35b65644c130ca5d","datavalue":{"value":{"entity-type":"item","numeric-id":378905,"id":"Q378905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q884758$3EAC6C28-1EB6-4E64-ABEF-4C8C72D62866","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"87ce8993a2ba9b46fa3b3cc6eac3dbff128f14d7","datavalue":{"value":{"entity-type":"item","numeric-id":645044,"id":"Q645044"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q884758$D0422608-9CB8-415D-B176-23DA1F6D0C7F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"0f7c04b6b94cf13c193d472c226068c28e7c8f04","datavalue":{"value":{"entity-type":"item","numeric-id":169421,"id":"Q169421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q884758$E7B58BBB-499D-45BD-8BEA-1136E8AF306E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d81384269237f7c171ce9e25726671d8695c125f","datavalue":{"value":{"time":"+2007-06-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q884758$5B35DF66-3AC5-4132-9ED1-0DD003B8B7FA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"cce598be3a84b4ca47f77511c359420e95d40219","datavalue":{"value":"93C65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q884758$A1F72A0B-052D-4FF4-A9BC-11D41498B774","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"32410cecd67261fd0c4b64ab235adc14aab8d32e","datavalue":{"value":"93B03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q884758$098F03AD-2DEE-407F-A036-8D43BB9E4152","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"64f5e12a8a598e7cbacff2c66e654eacc2fa0fe7","datavalue":{"value":"5162109","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q884758$5148079C-26B1-4589-956A-A7E2F1257D72","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0c235699715ec819ff7057898ca1070b2bcef698","datavalue":{"value":"Time Petri Nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q884758$D298B7AD-B160-4549-8F56-4128AD8C1E6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3d6e74574c3bb6ee5f1162ce78c47020ff9349a6","datavalue":{"value":"Stopwatches","type":"string"},"datatype":"string"},"type":"statement","id":"Q884758$33756875-593E-457D-B893-C39B23D86D11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c6804ae2ef43aa6bf609c204c94e6c3581e47ed7","datavalue":{"value":"State classes","type":"string"},"datatype":"string"},"type":"statement","id":"Q884758$E2DF4ECF-0AF3-48DA-BF03-E43AB4C8A1F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"75e49008e488d79415f4549cf10d3b60ce2a232d","datavalue":{"value":"Reachability","type":"string"},"datatype":"string"},"type":"statement","id":"Q884758$EA68E79C-5134-4E11-AE42-0FB9759EAEDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe205c94c9319aeda4c0c7ac8f8ed9aebce3e0c7","datavalue":{"value":"Decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q884758$FECB9790-6794-48B1-A229-5B354B25205F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d066dc3a69f4e4cc93f3535facccdf47a41a2e01","datavalue":{"value":"Approximation","type":"string"},"datatype":"string"},"type":"statement","id":"Q884758$4FF92B82-F1A5-4A5A-BC0B-3AE806C3F51A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"303e0c132693ea85926c58f642e0accaa89a807c","datavalue":{"value":"Real-time systems modeling and verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q884758$C7A7EA78-9468-4812-B26C-D0D72B61B9AB","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a667b9b1297b9dad4d25ace9ac90680462af8732","datavalue":{"value":{"entity-type":"item","numeric-id":26285,"id":"Q26285"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q884758$9C98334A-DE93-4DCF-9195-CFC7D0898FF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"edb9350a99d741bad75dd4840fa0f295c872eede","datavalue":{"value":{"entity-type":"item","numeric-id":13560,"id":"Q13560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q884758$BD63CA97-F339-49AC-BA5C-DF9DAEC0BF5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"746d9e55d4e8a97c2b07f745dc060ac8f481dfb0","datavalue":{"value":{"entity-type":"item","numeric-id":15812,"id":"Q15812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q884758$1D21573D-D8BF-4813-B612-425B038B9A4B","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":"Q884758$3BFC1FB8-0506-4091-8591-AA7F3896720C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a9374ca13a77eaaff78c1cad3be477a572d00b52","datavalue":{"value":"https://doi.org/10.1007/s10626-006-0011-y","type":"string"},"datatype":"url"},"type":"statement","id":"Q884758$ECC977A2-94BE-4265-B394-0E9BF473F51C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a3fae38b05de1954007725f8ce3648c709980481","datavalue":{"value":"W2021391928","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q884758$CA68A72C-3663-404D-BDFA-8AB99D661F0B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a4f341c6f254e4778fd7612981663d8b8703db9","datavalue":{"value":{"entity-type":"item","numeric-id":673868,"id":"Q673868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q884758$8B08D688-9148-41A4-BE4B-D0822338C6FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5774ef1456680181a495ccddbb48627134ba228b","datavalue":{"value":{"entity-type":"item","numeric-id":4671274,"id":"Q4671274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q884758$A8CD812D-7FA5-46BC-BCD6-C8E125A0D93C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ffd03e4de095dd3953367c465e489c06b39e10f","datavalue":{"value":{"entity-type":"item","numeric-id":4417948,"id":"Q4417948"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q884758$C77DED0D-8C92-49AE-8D40-3A083EDDB7FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aa38fcf2eabf9e45b572a847fc2bc9d7405e3c66","datavalue":{"value":{"entity-type":"item","numeric-id":2368992,"id":"Q2368992"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q884758$BA92D2C2-10D0-42FF-91DA-DB698F06B6F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60dc32dff08f7e062837373e4e0bb0cd53c724ad","datavalue":{"value":{"entity-type":"item","numeric-id":4536599,"id":"Q4536599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q884758$9C80FBF6-AE18-456C-A677-89874FFE7ED5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d12f32bb6df156535fd471aad08f2522bbbf182d","datavalue":{"value":{"entity-type":"item","numeric-id":2757803,"id":"Q2757803"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q884758$19B6C503-9DC1-43CB-A685-8829BFBA3F29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"30aaac525995ce57aa8b04f5ceb3346e0026fdd8","datavalue":{"value":{"entity-type":"item","numeric-id":5716584,"id":"Q5716584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q884758$0B36BBEA-21A9-4672-B628-89C596342DEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c61b8df768da1a4e1cc2a85425f3f7b271a5888","datavalue":{"value":{"entity-type":"item","numeric-id":4234084,"id":"Q4234084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q884758$2ECF585C-A501-4E1E-A3FD-0981BCC03623","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"990393bd70b90fd085a53f98d66454d70d95783b","datavalue":{"value":{"entity-type":"item","numeric-id":1238999,"id":"Q1238999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q884758$64FFD2A2-7258-45A3-AD26-0E3C6A35C078","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a1b26bdc210a3d291b796088837bddd84cce8b4c","datavalue":{"value":{"entity-type":"item","numeric-id":775202,"id":"Q775202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q884758$77517603-01FE-45EB-BEA7-EC90D454B1F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df63538162f9e159411979e014352538c7c4d499","datavalue":{"value":{"entity-type":"item","numeric-id":5712345,"id":"Q5712345"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q884758$BF637744-903A-4A9A-9132-84DE6CB500F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56c6c299e15ddeb001671e573dc9a5439e5a86a0","datavalue":{"value":{"entity-type":"item","numeric-id":3818127,"id":"Q3818127"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q884758$C9758AC4-623D-412E-9672-89AA86DC4DCF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"09027b75e505bcb6a184cb6a0eeacaef63abdc1e","datavalue":{"value":"10.1007/S10626-006-0011-Y","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q884758$112A90B2-90A9-4CCE-9EF9-A12C4443742B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aaf2e40db828745faf188e18020ce8c4c519d37c","datavalue":{"value":{"entity-type":"item","numeric-id":3510874,"id":"Q3510874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"671c6600a059ce41bd68a8c8db8f42ec4306a1b5","datavalue":{"value":{"amount":"+0.8615682125091553","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":"Q884758$46749DAB-3A18-4AC2-BA34-6E77415CEA34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b20dd7a9ceacccf677c8795e9f2231c5d4b8a404","datavalue":{"value":{"entity-type":"item","numeric-id":3400539,"id":"Q3400539"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c7ff398035e261cae0197d1dc00a48bfca4e7a75","datavalue":{"value":{"amount":"+0.8498093485832214","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":"Q884758$F19EF0F5-889A-4A22-9357-A3C3975720B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b4b66f5a86b780895d3cbac6b9d60bf980d6d4fc","datavalue":{"value":{"entity-type":"item","numeric-id":1026394,"id":"Q1026394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0d84ccf345d3abdc1ab53eeea0cd272e403980d1","datavalue":{"value":{"amount":"+0.8380810022354126","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":"Q884758$C0C027ED-D804-434D-95EA-60EBCF9D26C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e8498a2475b2082674e3cf4e4b739865fab67d80","datavalue":{"value":{"entity-type":"item","numeric-id":3400538,"id":"Q3400538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a89e907fd5a467e6a00df39d80b58c7d11e60886","datavalue":{"value":{"amount":"+0.8267992734909058","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":"Q884758$EF2E6571-42AC-4986-BE08-722F081B445F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eac6d07045d28cfaffbdd1a9dae2c1af7b975963","datavalue":{"value":{"entity-type":"item","numeric-id":5712345,"id":"Q5712345"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d9cc31a1a09abe7ac62e0df44d30a39b73b708a5","datavalue":{"value":{"amount":"+0.80884850025177","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":"Q884758$58B408E1-9882-4060-A111-7208F3D9ADB9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Reachability problems and abstract state spaces for time Petri nets with stopwatches","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Reachability_problems_and_abstract_state_spaces_for_time_Petri_nets_with_stopwatches"}}}}}