{"entities":{"Q6045027":{"pageid":13179183,"ns":120,"title":"Item:Q6045027","lastrevid":47854732,"modified":"2026-01-02T21:36:39Z","type":"item","id":"Q6045027","labels":{"en":{"language":"en","value":"Regular model checking: evolution and perspectives"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7689302"}},"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":"Q6045027$1F693071-D228-4BBD-B308-D98F62E49E85","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a78375fa2d65607605f508f07f68d539793ba521","datavalue":{"value":{"text":"Regular model checking: evolution and perspectives","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6045027$2E101C1D-6A7B-4A5F-8945-4477ABA39B89","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7c64c4bcb04d863afe267270f20d3e09a0194a4e","datavalue":{"value":"1522.68291","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6045027$7DAA1159-E44C-4B04-96F9-A0BD9227A1CD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3b2995d5a9daf8d10e0f5a63084b37382de1a00d","datavalue":{"value":"10.1007/978-3-030-91384-7_5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6045027$EE2CB49E-6952-4C78-A189-10CA76751984","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"da3257392c6ffa563f5e454ba2a32388db4ce02a","datavalue":{"value":{"entity-type":"item","numeric-id":300408,"id":"Q300408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6045027$98BD820D-969B-4405-9F62-5CE19C6AD075","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c0bf8d30590c034b5cd9f7d9e7da0bf803868583","datavalue":{"value":{"entity-type":"item","numeric-id":6041186,"id":"Q6041186"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6045027$18A1582E-ACCC-42DB-B464-C1FDAD972926","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9e202514302232ff7f5ec81097f072c587f02b43","datavalue":{"value":{"time":"+2023-05-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":"Q6045027$2D17A250-FBC3-4248-8CEB-EDDE79E67AE9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6045027$FDE437F3-67FC-46CF-BD3B-3784D293D988","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f405ab34bca588621dd08508d4acb2bbb4fb3ef0","datavalue":{"value":"7689302","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6045027$BA76D6FE-E239-42A7-B9AD-758D361103EC","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":"Q6045027$0F4EF206-2692-459E-851E-6DA9E2CC0FC1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"be393b2726f93d34122bc3dddad083e8795791f9","datavalue":{"value":"https://doi.org/10.1007/978-3-030-91384-7_5","type":"string"},"datatype":"url"},"type":"statement","id":"Q6045027$86CB9D6F-FAEB-47AB-BA1A-6813493D2D6C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"fa3358d0a1aeb0abc3fb75e824902d41e454fff4","datavalue":{"value":"W4205728061","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6045027$297073D5-639F-4B1E-A9A7-35C6CDFB8A3C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d7a98dd6d97d70129a78995b432cf7ecbb251275","datavalue":{"value":{"entity-type":"item","numeric-id":5758139,"id":"Q5758139"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6045027$EEEAB1E9-3485-4786-B28B-F4D6C8CF2E41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e4eab86dc21504526d3d070c41ee51a25788b51","datavalue":{"value":{"entity-type":"item","numeric-id":5429320,"id":"Q5429320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6045027$53971097-035E-439F-8041-FB4A96B4F480","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"55eea6aa154720544f17d8dfaf45eef03a98a8aa","datavalue":{"value":{"entity-type":"item","numeric-id":5452704,"id":"Q5452704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6045027$13A8621B-2C81-4B9F-9E5A-A8985B00F284","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f9d77dbdc203369b5b58da54f9364dfa0f285eb8","datavalue":{"value":{"entity-type":"item","numeric-id":4804925,"id":"Q4804925"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6045027$E365D6DB-1CC2-4206-B9E2-9BAD29298D97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"95b2dd25591c08b7932b69ce08512bbd5155f52b","datavalue":{"value":{"entity-type":"item","numeric-id":5900681,"id":"Q5900681"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6045027$AB08C694-0782-4F3A-B086-CC72AF4852B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"54e7a108370169c16838733bc613c6abdf38f709","datavalue":{"value":{"entity-type":"item","numeric-id":6044114,"id":"Q6044114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6045027$485036FE-8686-4258-A9B3-3CC1F76E7D51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ceb97ad59b8d3c6a4e23ab323f66864f1135a91a","datavalue":{"value":{"entity-type":"item","numeric-id":4571986,"id":"Q4571986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6045027$F9510B64-C904-4966-B7B1-6014E1ACA8F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"405e423365a63f056daf918c24255c84fbebdaed","datavalue":{"value":{"entity-type":"item","numeric-id":2754102,"id":"Q2754102"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6045027$A41C8BE0-1E9A-48AD-90AC-BD20472220D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf4fab5a4519bb0e4a7392865538dc50ad77fca2","datavalue":{"value":{"entity-type":"item","numeric-id":1193587,"id":"Q1193587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6045027$AE2C3F9A-37E7-403E-B9CB-810AC28B99FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d5354bbc72b7463906a1eb99270f6a5441bebefc","datavalue":{"value":{"entity-type":"item","numeric-id":1960527,"id":"Q1960527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6045027$D5ACC0D1-B0D0-4A52-92B4-888F628948D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de77900b6ca5ecc880ae38be55173559bdc08936","datavalue":{"value":{"entity-type":"item","numeric-id":685354,"id":"Q685354"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6045027$14DB64E7-6E87-4C7A-B8D2-05787407AEC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"731fff832e7711198e063399154f72f88c50c123","datavalue":{"value":{"entity-type":"item","numeric-id":3719811,"id":"Q3719811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6045027$1A86A163-D17A-48FC-8929-3CB5B5D92456","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f1e9f406ce8aac5f3f053d9c470f08e640fe141","datavalue":{"value":{"entity-type":"item","numeric-id":4551159,"id":"Q4551159"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6045027$22478474-C2B9-4503-8801-BA9011CF810F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59ebc8c6731a9ba8b7c88fd686053c929a1ba298","datavalue":{"value":{"entity-type":"item","numeric-id":4551162,"id":"Q4551162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6045027$62B63CD9-CE21-44F1-B2CD-BF80638FC7B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c7c75468b64299a6c5da2128e0e91430f00371f3","datavalue":{"value":{"entity-type":"item","numeric-id":4518896,"id":"Q4518896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6045027$671C209D-6712-4A61-8F54-5954A88A5F9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"08c4ae690845ef0e16a84b0f424e1f11c612ea2d","datavalue":{"value":{"entity-type":"item","numeric-id":5941102,"id":"Q5941102"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6045027$DA350CFF-B242-44D4-8BA3-DCF6ADF100C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d53d19922c3a7c2ab66b49e3b99548004028739","datavalue":{"value":{"entity-type":"item","numeric-id":3940830,"id":"Q3940830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6045027$4C7FF085-8EF4-4973-8D77-DFFA86A5B9A1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e3f46a425a9a29a7b242dd1459072961c4e8e195","datavalue":{"value":{"entity-type":"item","numeric-id":5311492,"id":"Q5311492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e9dd4a3eac63dd87f33da42fc4aa8519f5c9eaf3","datavalue":{"value":{"amount":"+0.8301152586936951","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":"Q6045027$D000821B-B18E-42EF-ABE8-532B27712DDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9812515b3ccb140eed3b46a394afb70e05cba7f2","datavalue":{"value":{"entity-type":"item","numeric-id":2754102,"id":"Q2754102"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"423ef073b1abd718871e274fa6656a16fa55573f","datavalue":{"value":{"amount":"+0.8298235535621643","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":"Q6045027$851DFF38-2528-42B9-8EDF-FF14897011A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"81965cfa0e8625dbb8c2028308bfbcb856bff3ec","datavalue":{"value":{"entity-type":"item","numeric-id":5900681,"id":"Q5900681"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0bd637c01946ff4de4ee94045302ce7139ac35c9","datavalue":{"value":{"amount":"+0.8047822713851929","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":"Q6045027$C869F3AB-44B6-467D-8339-A85AE2EB2D67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0ae314a23e9bf61e38b27173c5e143af39f5b961","datavalue":{"value":{"entity-type":"item","numeric-id":2851061,"id":"Q2851061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ed05c1486aeb159712cba5b27208ce50376e609b","datavalue":{"value":{"amount":"+0.8009213805198669","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":"Q6045027$FB1C1EF9-6DE2-4690-A7B9-A96D9F0A22AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d1a4e69567d6aa8b80c6dee0fc5a69e3f2431b1e","datavalue":{"value":{"entity-type":"item","numeric-id":4474215,"id":"Q4474215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3bcc5d0263f40d9bdae2cd142502ef03277e63e8","datavalue":{"value":{"amount":"+0.7992367744445801","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":"Q6045027$171DB948-CB53-4406-9607-A24B726848AA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6045027","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6045027"}}}}}