{"entities":{"Q4540483":{"pageid":6570075,"ns":120,"title":"Item:Q4540483","lastrevid":47947009,"modified":"2026-01-03T03:58:34Z","type":"item","id":"Q4540483","labels":{"en":{"language":"en","value":"Verification of infinite-state dynamic systems using approximate quotient transition systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1769731"}},"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":"Q4540483$D11BAC28-BC81-45D4-AF91-85420B8ED18B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"93d5aa84baff15880faa8b92db96b7654ce824c1","datavalue":{"value":{"text":"Verification of infinite-state dynamic systems using approximate quotient transition systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4540483$A92C5DEF-3E1E-410B-BDB6-095B882D8DF4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2f7f21455536db24c155d44557cd0bea5db06334","datavalue":{"value":"1031.93123","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4540483$600C2D5B-41CD-4FFB-BF8B-4A5DDFA34FC5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0167a1ee3fb6b37ec472c45bdff010493d1ccf0f","datavalue":{"value":"10.1109/9.948467","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4540483$6EA13CA5-019B-4A73-811C-9291C9A5EF4A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d409a3d061c19420a17b390bf34d172ba106f589","datavalue":{"value":{"entity-type":"item","numeric-id":4246809,"id":"Q4246809"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4540483$98959433-5EA5-491B-8C98-AF9A36D639BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"007c640166b8b4c657092183a4f8e4ca51db5394","datavalue":{"value":{"entity-type":"item","numeric-id":1051359,"id":"Q1051359"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4540483$14458A85-D0B6-47EF-A3E1-BD37AECAC6A7","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"231075b9dab1b13e4c64992ef81666085035687e","datavalue":{"value":{"entity-type":"item","numeric-id":123639,"id":"Q123639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4540483$3F265D34-E230-4564-A985-4A0C61CA5EC3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1d120d21261a5c22ff91d794cefe763ecdb1cf02","datavalue":{"value":{"time":"+2002-07-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4540483$14B1ED82-5908-4798-B236-8FE6EE56D1BB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2da8b84e1de4b13cc211559133a985d81aa8201f","datavalue":{"value":"https://semanticscholar.org/paper/230d5cc8a374e9a1f27ee51eb98a5e1ed3840015","type":"string"},"datatype":"url"},"type":"statement","id":"Q4540483$0599554D-6ABB-47AA-A25B-FD22B0A33725","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"cce598be3a84b4ca47f77511c359420e95d40219","datavalue":{"value":"93C65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4540483$43799C8E-FE7C-4FDF-B471-8C1F3D1BFAFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"32410cecd67261fd0c4b64ab235adc14aab8d32e","datavalue":{"value":"93B03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4540483$1E3609A3-29FC-46F6-8F3C-9A9F32CDD31A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4540483$F3F4160F-6456-4A0B-9A34-5A5F983A8C81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4540483$874C7C52-8833-4E15-9735-14F9DCEE0EA5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"72b718dfa554f261a67a2064a4ffd52f9aa46dce","datavalue":{"value":"1769731","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4540483$7C6DEAC8-4114-4043-9616-8F44B28DB1D2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3e04a2b734a1cac93a9ddfefc5a4de51edbfaf1","datavalue":{"value":"bisimulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4540483$AA22F09D-EB66-4B89-8455-8E7018D2F090","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1b03439e7dedf0c27568d228c7244768e0713fd5","datavalue":{"value":"hybrid systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4540483$57F3F058-48CD-4EB0-ADCE-86DB02B351F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a618b40b0e1c60d8f3695a0363009e29e3d436f0","datavalue":{"value":"reachability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4540483$64BB9E57-34BF-4C8D-8D0D-B57054D340A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4540483$C5305E96-54D1-4553-B948-6F1F91F2A156","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q4540483$B1F88668-E759-4392-8DE2-8630D7BBE152","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aa54406f1d069d23bd4f4f53aa9cef7011113656","datavalue":{"value":"approximate quotient transition system","type":"string"},"datatype":"string"},"type":"statement","id":"Q4540483$8254884D-C1D0-41DE-8C27-E13A61CAB667","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6d9c2e1f00facc619242af9af43a4aae006f38ad","datavalue":{"value":"transition systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4540483$2BF1EA8E-752C-4B23-AD88-0A6365D60352","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"75e78cd0204d4d31855e84e0e74f34cbe7774a40","datavalue":{"value":"computation tree logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4540483$1D0C4D4B-5A7F-4B87-98EB-33F0259196EE","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":"Q4540483$AC4B5AB5-EF46-454E-A8B1-75BEA87286D7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0ad1d8520505c1ff7d1c86b027b36688a219a67f","datavalue":{"value":"W2105826449","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4540483$FEA6BF38-DFA5-44A6-AB6B-F81069B6E075","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"527a6aa6b3950e42f76ce40c8685df3eacd03b97","datavalue":{"value":{"entity-type":"item","numeric-id":5277714,"id":"Q5277714"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c45c2fb829d5bf22415a19ef1316b9cb84ee32de","datavalue":{"value":{"amount":"+0.792197585105896","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":"Q4540483$C944B99F-DED9-449F-A45B-E0E73E395A64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b7740d6c9e95213b29b1b9b1529bc9a7c74acf19","datavalue":{"value":{"entity-type":"item","numeric-id":4501519,"id":"Q4501519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"71b3b878a1895e153f528368540b5db44b6a24b9","datavalue":{"value":{"amount":"+0.7912929654121399","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":"Q4540483$C9FAAB70-DADE-42CC-88A0-DDD3DD96E444","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2d380b44a034f3f3ac31417d35fc4053c86bf1db","datavalue":{"value":{"entity-type":"item","numeric-id":4246819,"id":"Q4246819"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cc51cc6b3258293e7c06aa7836746a2a678b760f","datavalue":{"value":{"amount":"+0.7873731255531311","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":"Q4540483$B24B1A30-BA8F-4211-B7F6-72DDC167BFF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"898fab2973710c6d7352f07bb528395c2ffd9c98","datavalue":{"value":{"entity-type":"item","numeric-id":4623956,"id":"Q4623956"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ecd8b6580d80a9a1234a9ff66d161c5313ce59ad","datavalue":{"value":{"amount":"+0.7396324276924133","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":"Q4540483$C8F24B1C-A8BB-49B5-9350-09D524A67B75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cf5b43b408b2da4a683dba83631a428854b25f1e","datavalue":{"value":{"entity-type":"item","numeric-id":5491850,"id":"Q5491850"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"58829c46e88248f8b64f47c078d48cc3300eb141","datavalue":{"value":{"amount":"+0.7309067249298096","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":"Q4540483$693493DC-CDBC-41A0-A23A-64F954A21420","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4540483","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4540483"}}}}}