{"entities":{"Q3510874":{"pageid":5540778,"ns":120,"title":"Item:Q3510874","lastrevid":50400242,"modified":"2026-01-13T23:35:09Z","type":"item","id":"Q3510874","labels":{"en":{"language":"en","value":"Symbolic State Space of Stopwatch Petri Nets with Discrete-Time Semantics (Theory Paper)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5297110"}},"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":"Q3510874$2576E0C3-DB64-4548-A820-B898C6578473","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ece8f089eabbd13f9944e1fea821276313278ae2","datavalue":{"value":{"text":"Symbolic State Space of Stopwatch Petri Nets with Discrete-Time Semantics (Theory Paper)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3510874$82EF2478-65E7-4580-91E6-2B621748B87C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a18c759cff632e101d26340810a7d5f65f954104","datavalue":{"value":"1143.68493","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3510874$45D07847-3397-4BAB-9C12-BC119FF210CA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ddbcfa4262cd4f109a767299a411d4ebc6561411","datavalue":{"value":"10.1007/978-3-540-68746-7_21","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3510874$F2BD588E-94E8-450C-BDAE-81301756E8E5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"014acc7b1b8614b0afa05b6bd97bc5b41631ca24","datavalue":{"value":{"entity-type":"item","numeric-id":275999,"id":"Q275999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3510874$82920453-5444-45D9-A941-18BDD4DE7D84","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":"Q3510874$C555AADE-62ED-42DA-A60B-37D8C02655E5","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":"Q3510874$137C404D-328E-44C7-9D51-D5F0623F9F91","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7fed0ee404adfbd97dd01b078802384497e926f4","datavalue":{"value":{"entity-type":"item","numeric-id":3011877,"id":"Q3011877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3510874$C6E6A9C9-78AB-4F7C-9B35-52D40A19AF7D","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":"Q3510874$7214C222-26C4-4953-BBCE-1B4501BDD731","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3510874$7D2D6E80-EE68-42E2-897E-73AE54CB096A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3510874$F225EC3B-4152-4D77-A40F-A24993259936","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f84bdd043eb513d84cdc59e2c5ea8941d31fe35d","datavalue":{"value":"5297110","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3510874$271CB236-7D7D-43F0-A9BD-E2340F76680D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b0a689148a51493ff7dd9c80d8b048ee339db85d","datavalue":{"value":"Verification using nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q3510874$9E52D260-3EB1-41C6-AB06-D347B79EDE2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cf4b08125757b22ef19a65f23e3cc9de4e44badb","datavalue":{"value":"Time Petri nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q3510874$79D446E0-0590-4ED5-9C5A-7CA95907B3A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"99c9914f4ef7d083f12d7f70f08c26ada1866fa9","datavalue":{"value":"symbolic state space","type":"string"},"datatype":"string"},"type":"statement","id":"Q3510874$73BB7493-D7CF-4636-9275-71C61A0614E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"895286b88f96c8b55992cd83244eb8ac6aff1acb","datavalue":{"value":"stopwatches","type":"string"},"datatype":"string"},"type":"statement","id":"Q3510874$FBCF91C8-5CCD-402F-AC4F-098EDC0E5F90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"de9572f3d858c29bcb5fd1de8d95658696328978","datavalue":{"value":"dense-time","type":"string"},"datatype":"string"},"type":"statement","id":"Q3510874$35ABCDC9-AC1B-498E-A1DB-38E8315683D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"07e0756a8c628902d0f55a8e7395b3bca3cc405c","datavalue":{"value":"discrete-time","type":"string"},"datatype":"string"},"type":"statement","id":"Q3510874$697ED9ED-4107-4885-BC1D-8104F9DEA4A1","rank":"normal"}],"P1463":[{"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":"Q3510874$7B88C352-4C43-4392-8C27-F26D872D5670","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":"Q3510874$33061879-E9BD-4D5D-AC0C-A1966E1BC715","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6b1dc384a70690db925d99d2ca771ad31eb556a7","datavalue":{"value":"https://doi.org/10.1007/978-3-540-68746-7_21","type":"string"},"datatype":"url"},"type":"statement","id":"Q3510874$6D9F3470-3B57-4698-86B2-0B62C4C97BCA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"883a6d58721639c0fe664831c6eaaf866e7d62cc","datavalue":{"value":"W1488555460","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3510874$476A5700-93F4-4F8F-8BE9-1E6525F5D077","rank":"normal"}],"P223":[{"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":"Q3510874$D38453BA-143A-45D4-898A-8F3FA6E22A77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"988d71a736f33be45785804e9658af2a1866bb2d","datavalue":{"value":{"entity-type":"item","numeric-id":884758,"id":"Q884758"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3510874$59508E89-0774-445D-BB5E-3C0965595A7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"824bf93b5181245b88573e28058822d36f9fc0d2","datavalue":{"value":{"entity-type":"item","numeric-id":5204346,"id":"Q5204346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3510874$5847D29A-363E-4DC1-A288-FECBA7B58A8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"23baecab151e24674d98d04bbdfe690d116d2187","datavalue":{"value":{"entity-type":"item","numeric-id":3357558,"id":"Q3357558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3510874$B10B6763-4C2B-42CF-931A-535AD22318CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"19555674dc40f877c0a7243cbce21bdabf52e7b1","datavalue":{"value":{"entity-type":"item","numeric-id":4264237,"id":"Q4264237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3510874$2F0EC48D-E641-4A97-8524-DC7CF8F64AF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d2651b38c430bf315a03a74ba0b66cf4d7861db6","datavalue":{"value":{"entity-type":"item","numeric-id":5476391,"id":"Q5476391"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3510874$E45ECC01-B80B-4D06-AEAE-1FD53F98508A","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":"Q3510874$38C90BFD-7BA0-4F8D-A659-383ED3D40F0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a85a274a4d432c4ccba8553ce0df48b7b99a5c8e","datavalue":{"value":{"entity-type":"item","numeric-id":3656779,"id":"Q3656779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3510874$95ADAAD2-9E16-4406-8D14-DD47E664B8D0","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":"Q3510874$5E398BAE-733F-4B6B-89DB-B82F0D067072","rank":"normal"}],"P1643":[{"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":"55a42376823424cec9cc5f321b8e025344e718cf","datavalue":{"value":{"amount":"+0.8830894827842712","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":"Q3510874$5ABDD469-DA00-47AB-B8EC-06204FCBEA1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d215e05141f65c50140ee10799f589d23122b5a2","datavalue":{"value":{"entity-type":"item","numeric-id":884758,"id":"Q884758"},"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":"Q3510874$99ED5F61-030A-4E26-ACBA-0D56065145AC","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":"b73b0ebfb2a3cf607880edae9daab226c40bc085","datavalue":{"value":{"amount":"+0.8534878492355347","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":"Q3510874$0E0C1B7F-533F-4010-9407-2A83E6CBA8AC","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":"59b1fdf65730fda042f206af7f7c3aedfd80b11f","datavalue":{"value":{"amount":"+0.8515635132789612","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":"Q3510874$B19185A2-D18F-4DA7-BBA7-2F1A01AE023B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"74d8d67b1ae796dcf7e8499014df0471921d512a","datavalue":{"value":{"entity-type":"item","numeric-id":4931299,"id":"Q4931299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"83e43b8aa115826d227f9a5568060610a0719d90","datavalue":{"value":{"amount":"+0.8108336329460144","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":"Q3510874$29F99E81-1013-4027-AA92-E212B93F3C10","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3510874","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3510874"}}}}}