{"entities":{"Q5480168":{"pageid":7509728,"ns":120,"title":"Item:Q5480168","lastrevid":49883236,"modified":"2026-01-11T14:44:21Z","type":"item","id":"Q5480168","labels":{"en":{"language":"en","value":"Towards integrated verification of timed transition models"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5042672"}},"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":"Q5480168$AE623A1C-6DC8-4E79-A83B-3ECC1107F306","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"767300fbacf4003213a4b1d7613fcf580941e2b9","datavalue":{"value":"1095.68054","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5480168$0126983E-3538-45B3-B090-7CB93B4FF2DB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"abf0adc959fb4621f3b5937554f26394d60e9913","datavalue":{"value":{"entity-type":"item","numeric-id":351738,"id":"Q351738"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5480168$F31B710A-811B-492B-8024-04160863D7FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b76bdcd691725062017771b6cfc0eee79e75b188","datavalue":{"value":{"entity-type":"item","numeric-id":351737,"id":"Q351737"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5480168$23195CF5-CA1B-435F-B7C8-044A26EE45A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"28c9aa251711e9663874ec6a24fdaa9612cf1232","datavalue":{"value":{"entity-type":"item","numeric-id":171165,"id":"Q171165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5480168$07729531-BCE7-4D5D-8701-8E02F4E15683","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d85a27ba2b9544b016b1499e0ba5bedac0259484","datavalue":{"value":{"time":"+2006-07-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":"Q5480168$8C6D6E9E-4FAC-4758-855B-F9B76385EC3C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5480168$5B0E28B7-68D8-4EC3-8E7F-D5C0B3E36630","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5480168$958EC8C0-3933-474D-9E59-58228882FF9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5480168$5AE225F3-4B28-49AC-B806-AE58DC843EFA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"627b1c6c70471a18fe4e96c848c1d486acf0c385","datavalue":{"value":"5042672","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5480168$E05A112C-9474-4737-A84A-B2A5C923208C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5f20dd649bc10efa5e5acc4f3062bf85bd231792","datavalue":{"value":"real-time","type":"string"},"datatype":"string"},"type":"statement","id":"Q5480168$C9F74B99-BB79-49FF-A255-BCFCC2D30344","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d955d98500ec97adb9ffb5bd8c0338c943cba671","datavalue":{"value":"equivalence verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q5480168$3E5D18C5-3144-46AE-9048-EA192B60D42D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22498cf86e242a38d9fe355523225aa55193233b","datavalue":{"value":"theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q5480168$7A042EE5-748D-4FEC-BA9F-5913B002722E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b3d3d0d2409011411be91984a4137a1c90ca04ff","datavalue":{"value":"PVS","type":"string"},"datatype":"string"},"type":"statement","id":"Q5480168$60926B6B-C06C-439A-847B-84501BCC6CE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"379a567f0f983e236f95705804d342510fc41004","datavalue":{"value":"model-checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q5480168$A6F5F625-23A1-4FCF-BFD7-EB355561E5A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"00136e647e328aafc8cc9233d4b1b1691904b2a2","datavalue":{"value":"model reduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q5480168$F83E3466-30A5-4E01-A5DB-70EA904C918C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ce8879f34731aff6ba75e36c57a148ee506f2563","datavalue":{"value":"SAL","type":"string"},"datatype":"string"},"type":"statement","id":"Q5480168$6B09C684-A460-41AC-B1CF-CB851D5C8DE4","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c46d84e301480ba8a5854ea89c3d27b865a03eb9","datavalue":{"value":{"entity-type":"item","numeric-id":16016,"id":"Q16016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5480168$35B96AC9-F32F-429E-945A-C9AB1F6CACF4","rank":"normal"},{"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":"Q5480168$6BC5DDD4-FD04-40DF-AB7E-086723DA0AE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"0b81395bce8af48e679b9daeada5dec6a46a77d1","datavalue":{"value":{"entity-type":"item","numeric-id":24858,"id":"Q24858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5480168$B6B04A8D-40D9-4EE1-BD01-B9FE806C981A","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":"Q5480168$2E1248E5-07E8-41AC-BFB5-217A1868D0C6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eaa06ce217adbff99102a1202be537c3e01b788f","datavalue":{"value":{"entity-type":"item","numeric-id":5754521,"id":"Q5754521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1872a32d38fb25ed19e1e4af0c7b16056754c256","datavalue":{"value":{"amount":"+0.8024423718452454","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":"Q5480168$E8963F8D-2A1C-4E4B-9C96-1F2E145D1757","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"983d11ff1dd06ecdeadd1f66f16e5f7a7c531de5","datavalue":{"value":{"entity-type":"item","numeric-id":1333273,"id":"Q1333273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"19bf02a54bf832eecd4e06273bf6d7779ec56423","datavalue":{"value":{"amount":"+0.8007491827011108","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":"Q5480168$55579F72-72BD-4A2F-8B39-EFDD8B61DEAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9d7ef25e7fdeb4371d72e36779ceff8901c01702","datavalue":{"value":{"entity-type":"item","numeric-id":2324206,"id":"Q2324206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"74e1de8e57fea13bc04421c25850a098c847f441","datavalue":{"value":{"amount":"+0.7935445308685303","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":"Q5480168$EC693C96-2703-4581-9AC2-E6B6A52AE9FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"02fe4b51a8f9a4686a023987ca26d47c929c46e9","datavalue":{"value":{"entity-type":"item","numeric-id":1309256,"id":"Q1309256"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"291ffdaa570d82788d48c094d5358b4bae305ebe","datavalue":{"value":{"amount":"+0.7802486419677734","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":"Q5480168$09A1D454-48CC-46AE-8EE6-FD810A3B5B2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"61762d1a0b214a9dcb84410f924064d87dbece04","datavalue":{"value":{"entity-type":"item","numeric-id":4503929,"id":"Q4503929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"291ffdaa570d82788d48c094d5358b4bae305ebe","datavalue":{"value":{"amount":"+0.7802486419677734","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":"Q5480168$380D64EF-7AC1-4ABF-B761-402ED98EFA87","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5480168","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5480168"}}}}}