{"entities":{"Q5484902":{"pageid":7514462,"ns":120,"title":"Item:Q5484902","lastrevid":41780357,"modified":"2025-05-08T05:53:15Z","type":"item","id":"Q5484902","labels":{"en":{"language":"en","value":"SAT-BASED MODEL CHECKING FOR REGION AUTOMATA"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5048162"}},"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":"Q5484902$AEA9AC48-221F-4B41-9F48-F40E2CC29DA3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f26aac826f076030681496828552195042449d4a","datavalue":{"value":{"text":"SAT-BASED MODEL CHECKING FOR REGION AUTOMATA","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5484902$E2D3A775-C49A-4917-907A-E2AFB8EDA5E0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"063f2d247f5ce263143d56091a084e32c8deea88","datavalue":{"value":"1098.68082","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5484902$60B9DAA7-5C4A-45E2-9785-FEBD8C48BDCC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0993981ee8e8b90afe4e529aaec75574fa14ca1d","datavalue":{"value":"10.1142/S0129054106004108","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5484902$68C66033-03C4-4DB4-85BA-74557D63F479","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"248be6192f931f4e9398d983f4f2a5eec0838b40","datavalue":{"value":{"entity-type":"item","numeric-id":255818,"id":"Q255818"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5484902$A98863D7-9D6C-42B5-B2F5-33C95896153C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"19c17cf4b757376e81bb18052c33891da6bf831a","datavalue":{"value":{"entity-type":"item","numeric-id":832259,"id":"Q832259"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5484902$8A917748-9070-46CC-A676-6F73F86BB75A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"47adaa7123c6f3744cf7fa8eab088d52b4982295","datavalue":{"value":{"entity-type":"item","numeric-id":2703009,"id":"Q2703009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5484902$320FE98C-3854-4A9D-BE3B-C8A732DEE6D7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0a75cc68bad3bb181567a6c54a319178a2e20902","datavalue":{"value":{"time":"+2006-08-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":"Q5484902$BA73A001-34DF-4872-B906-02AECBDF7FD6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5484902$18C4B290-3B4B-4AB2-955A-BCAF7A814DBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5484902$27C6B7EF-7367-472E-B228-60893C6468ED","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"83e36649f389b2c02052ea07a6c26b1ef6fc232b","datavalue":{"value":"5048162","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5484902$B8962BBB-B9C2-40C0-98F5-F81E6364361C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2eb4d1af95699ef062cce80ecbcf1e1484586450","datavalue":{"value":"formal verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q5484902$628F5E65-87AB-47A4-85DB-5E498B6AC028","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q5484902$46FCC4B9-ACB6-4C50-A6CD-1990AD42859C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"73fba6d4e7acc1cbbdb5d84684e7c28c5773431c","datavalue":{"value":"region automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q5484902$C0539E5F-5F94-41A2-B118-F97B13718A40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e5a5cb8f0a2e3ee48e312b2fe05f0225c0a3c2ce","datavalue":{"value":"real-time system","type":"string"},"datatype":"string"},"type":"statement","id":"Q5484902$3959CAE5-A98B-42E1-9A80-D708F07FF1C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"252f9f9ed9fe8ca406cc19fba38a46c0414791ee","datavalue":{"value":"satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q5484902$21469A03-55DB-493E-A0B2-F566360703C1","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":"Q5484902$6F7FBB68-ACA6-4BF3-AA7D-7A2879648728","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6920ce6a126f18e82d65e8effcf860c634e06c34","datavalue":{"value":{"entity-type":"item","numeric-id":1322162,"id":"Q1322162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5484902$C1B91A73-472F-4442-BA4D-EDBDDCA3BFB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8fd141145e8ea8fb37817516875d456dca78935e","datavalue":{"value":{"entity-type":"item","numeric-id":1856195,"id":"Q1856195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5484902$E3F66976-B504-48F7-BBB6-F3A52D7FFF4C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f126f86b36ee635ce71aca583e75a3062661af11","datavalue":{"value":"https://doi.org/10.1142/s0129054106004108","type":"string"},"datatype":"url"},"type":"statement","id":"Q5484902$6A6E846D-4A92-4E13-90B0-2471A4E5E4E1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d8d3e61a66b9cf38ffcc17f7d2032a078d445307","datavalue":{"value":"W2099766830","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5484902$BDF245CF-B346-4810-84AF-26FF3DA49FE5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dcc2e383c1e56ee6c32d5f1e67a5e9fa4a7a2e93","datavalue":{"value":{"entity-type":"item","numeric-id":5464751,"id":"Q5464751"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a61a67c867b7b35f820dff3267b434c2e5344025","datavalue":{"value":{"amount":"+0.93161976","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5484902$B31535AE-85B6-4B77-8EFB-944C6B88FF6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f17ad9f8915d551aba08339f2791c61c4c5ce1ed","datavalue":{"value":{"entity-type":"item","numeric-id":5394172,"id":"Q5394172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6fd1ba335f05b3475d5a491fffec4cf505379a56","datavalue":{"value":{"amount":"+0.9120917","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5484902$81479ACF-53E1-449D-963B-7C278AD0E9B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"97a1bf693cef9178aadd375963cd412c8809cc24","datavalue":{"value":{"entity-type":"item","numeric-id":3176368,"id":"Q3176368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d96988ad806db0407e8a0102653b79e9a17927c1","datavalue":{"value":{"amount":"+0.8852802","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5484902$B88A0477-20CB-4BCC-940B-2D5BA287ED4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0d2419c1a02b2240233ec5cc9ddfd9edc895851e","datavalue":{"value":{"entity-type":"item","numeric-id":3792224,"id":"Q3792224"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"19865c60834f30b63f2c33cf7ac6070018abd86c","datavalue":{"value":{"amount":"+0.8610259","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5484902$BA387E02-CF30-4DD0-AC28-5CFA25652C78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6163a7aa78d81cf3b8065a62f631a6a5857595d0","datavalue":{"value":{"entity-type":"item","numeric-id":2754108,"id":"Q2754108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"01a5135fa8dbce77408bb94f4eede50387726fef","datavalue":{"value":{"amount":"+0.85546136","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5484902$75758760-1595-43A6-A994-BFE133DE6A28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0db01d7746b354d149ddaa4f5d652b8a9c7e816c","datavalue":{"value":{"entity-type":"item","numeric-id":4461759,"id":"Q4461759"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c4ab63e01978eee0cfede2a8e4ff25e989a6e90b","datavalue":{"value":{"amount":"+0.8535354","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5484902$C8A5A844-34D6-4525-89AA-F1F36BBE66F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"acaba8635b567616f6fe2d0ca8b0c243a041a22b","datavalue":{"value":{"entity-type":"item","numeric-id":5506384,"id":"Q5506384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cd21b9c93bfef79791d7bfc0d9731cc30f217a86","datavalue":{"value":{"amount":"+0.8532657","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5484902$02042D7E-645B-44FB-8A51-8B33822E350A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dff3425787aea28c8198974ec0d095be505fb445","datavalue":{"value":{"entity-type":"item","numeric-id":6045028,"id":"Q6045028"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"66af8bdd1e974d4dc0c36fda59c28f756ba23ba2","datavalue":{"value":{"amount":"+0.8532001","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5484902$BADA8E9F-6C8B-4CA4-A588-C5BFEADEC7AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7143ee151dba9462ec01595aed23567cde2f9b00","datavalue":{"value":{"entity-type":"item","numeric-id":5946344,"id":"Q5946344"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3bdb5ab7621638f9c07f36c9beccdac283e4e5f5","datavalue":{"value":{"amount":"+0.85291255","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5484902$9DEFFF30-1483-46D1-A27D-186DC6FF704F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5484902","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5484902"}}}}}