{"entities":{"Q2331081":{"pageid":2341824,"ns":120,"title":"Item:Q2331081","lastrevid":53576342,"modified":"2026-01-25T09:00:25Z","type":"item","id":"Q2331081","labels":{"en":{"language":"en","value":"An automata-theoretic approach to model-checking systems and specifications over infinite data domains"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7122001"}},"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":"Q2331081$4E422C23-E711-4E50-A9AF-AA570B57D12B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"761113603efe9bf1638cfb4e686b56c009eac304","datavalue":{"value":{"text":"An automata-theoretic approach to model-checking systems and specifications over infinite data domains","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2331081$5C6DA82C-0DC1-43E1-8DA2-49A1C792627F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5772763e69474c5e0a828a1cde7898adb72aa8b6","datavalue":{"value":"1468.68128","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2331081$EE7631B5-168A-488D-ABAA-EBB6C9EB43A4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"38643207830f582cb70f47f9da2a53233db39d6c","datavalue":{"value":{"entity-type":"item","numeric-id":2331080,"id":"Q2331080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2331081$9F106189-D40A-4247-A426-9DEE2ADF6879","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"00f54da6e19096b7295a17c11b9a25783abc5f44","datavalue":{"value":{"entity-type":"item","numeric-id":2232275,"id":"Q2232275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2331081$2DF7CA48-5526-49D4-ACDB-5C358874E3DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"dde9477c31764f7e982fa5c7962174291d7bf7fb","datavalue":{"value":{"entity-type":"item","numeric-id":259063,"id":"Q259063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2331081$D667B565-5EF7-4BBC-BAD4-FA169D7598C0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b84cc8b5923f45dc86ae69f67f68bf56d7ecfce9","datavalue":{"value":{"entity-type":"item","numeric-id":174771,"id":"Q174771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2331081$69184E39-B808-4196-A575-554AFE32557F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a9c78d27d44184ed11acc3dc406ef7d8d5c12da4","datavalue":{"value":{"time":"+2019-10-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2331081$FCFB3B83-8422-4101-A11D-9878A654BDCC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2331081$9630C683-C3F5-4F86-9672-3280BA47B4B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2331081$F1F8F887-090D-4B19-99FE-E319A8A2CF27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2331081$44796B85-1EB2-4B07-9D66-AE09B04E0C99","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8a2c788908805d8f7080cc80546676b7393ff2ed","datavalue":{"value":"7122001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2331081$A0A9E6E2-457E-42F2-9DD2-08B490F2D1B2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2eb4d1af95699ef062cce80ecbcf1e1484586450","datavalue":{"value":"formal verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2331081$EC9A1D65-5717-4E46-96CB-2831434CF067","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8934aba333a3bc2adf9775117917cece0a5b2a1d","datavalue":{"value":"automata over infinite words","type":"string"},"datatype":"string"},"type":"statement","id":"Q2331081$25765380-9571-4D4B-9AC6-8A1F95EC16CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"81da045443a4f57502a6cb2c270b82334853e041","datavalue":{"value":"infinite data","type":"string"},"datatype":"string"},"type":"statement","id":"Q2331081$711E12D3-0B93-46D1-B02A-E52538A694F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q2331081$D210A034-CCC3-46D0-85F2-0E7444ED5EC3","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"41ca10ca1c83d374e1e50b0265f85d2512ffb015","datavalue":{"value":{"entity-type":"item","numeric-id":25943,"id":"Q25943"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2331081$503F0A1B-4286-428E-95A4-013B12E70AF7","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":"Q2331081$2E145842-288F-4318-9AC7-2B24FB65DB4E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"38e586d1428d6262e8999fb5ffa5956b8bb64aac","datavalue":{"value":"https://doi.org/10.1007/s10817-018-9494-0","type":"string"},"datatype":"url"},"type":"statement","id":"Q2331081$A934AB16-3870-4232-9793-E15839EB7E93","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4fbd47b65588ba25e8b54a72581e2a077092dc4f","datavalue":{"value":"W2899749457","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2331081$9AB18122-1326-45B0-9CBB-F887861D1889","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d5e7ba960ad3d2f37b1d49078179f4e830d1428","datavalue":{"value":{"entity-type":"item","numeric-id":4647831,"id":"Q4647831"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2331081$BC964BC7-DE90-4362-992B-16E0720A4E33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb54f812ef30b83f85808d0cc5b4cec2e5e0d69a","datavalue":{"value":{"entity-type":"item","numeric-id":2796403,"id":"Q2796403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2331081$5FDCA6A9-7A98-4D66-926F-34A9E2826575","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8bb4a91e9cc7eca8e9ff5f00e4ce6d5e415cf749","datavalue":{"value":{"entity-type":"item","numeric-id":2946646,"id":"Q2946646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2331081$A99D9C60-0615-41D6-B1AC-1044ED05D3D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2feb87e0fd6ab10a8f35cd44c38a5392aa00468b","datavalue":{"value":{"entity-type":"item","numeric-id":5444944,"id":"Q5444944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2331081$662AF039-E10E-4203-85C1-884CFF666247","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"06c411f40bd3fed70a734570dda325013084ac01","datavalue":{"value":{"entity-type":"item","numeric-id":5525343,"id":"Q5525343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2331081$31E45640-2586-4CB0-9F3D-C306DC085EAE","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":"Q2331081$318F0795-5CFC-4C68-8439-6CD7FCFEAEC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9cdaa2ec8eceac1d3a0c164dd76be4ed6c68bc4d","datavalue":{"value":{"entity-type":"item","numeric-id":5946344,"id":"Q5946344"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2331081$1A7492DE-2CC2-4E86-988A-BC666E144B6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2cd56f820547becaf1640ba57e415b67b2dccf11","datavalue":{"value":{"entity-type":"item","numeric-id":3766825,"id":"Q3766825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2331081$716D722F-9CAB-47C2-89EF-5D27D3D0F43C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a5a053338075443ba2c4b6530d24f7dd1e87c6a","datavalue":{"value":{"entity-type":"item","numeric-id":2331081,"id":"Q2331081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2331081$5B22EEFA-30DA-4493-8F2E-A4FF152CFEEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"69c068faba989c4b8b1a1d366d186d693920ff87","datavalue":{"value":{"entity-type":"item","numeric-id":3564896,"id":"Q3564896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2331081$CF748CA7-8272-41D3-9E20-EC53B01BFAE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9afd666af0a1b11388408978b00fd6d2e3f578a2","datavalue":{"value":{"entity-type":"item","numeric-id":4649292,"id":"Q4649292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2331081$125D0983-3513-492C-A754-3B7840EF26A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ecb5e64792d2ede6f35346aa3ccaf4c78fb4fba","datavalue":{"value":{"entity-type":"item","numeric-id":3457808,"id":"Q3457808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2331081$AF65EF1A-3D38-4F8B-99F7-57B6FC008135","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4c0f956eb64811c8a8b002ecf78e92dd7bcb769f","datavalue":{"value":{"entity-type":"item","numeric-id":2225472,"id":"Q2225472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2331081$1D71E03F-6B59-478F-A0A3-1258B995B8E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ceda0c87bb63c8028473ee4ed8dfdc1d3b9f3f99","datavalue":{"value":{"entity-type":"item","numeric-id":1341718,"id":"Q1341718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2331081$759649E9-D9ED-41D0-AF67-CF582FEDC8E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e9159e9095f8ca510d538d7e9904c6f3ff891ad","datavalue":{"value":{"entity-type":"item","numeric-id":796990,"id":"Q796990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2331081$153C88F0-B988-48A9-97E5-302EB377CF06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"676e0d168e75a8c1494a4e34b5d529a073c874bb","datavalue":{"value":{"entity-type":"item","numeric-id":3748266,"id":"Q3748266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2331081$A1A3EEFF-4256-4369-A4AC-A2CC2E72D9E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7636dbb3c75ee2b9209628fd8c22e23e8ac89e5","datavalue":{"value":{"entity-type":"item","numeric-id":4779173,"id":"Q4779173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2331081$2EDBDC40-A5A9-47CC-8B5C-893D9EE0DD3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee375c7bcc9847e2999b97cdff8f98ca7e0a19de","datavalue":{"value":{"entity-type":"item","numeric-id":5898629,"id":"Q5898629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2331081$3156A62C-8C4C-48A9-8ED6-EB75710EDFB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a3672e8fd63ccd5feb09fb8ca4a7263e9cf88fe8","datavalue":{"value":{"entity-type":"item","numeric-id":2978518,"id":"Q2978518"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2331081$FBDA3697-F57E-4967-AA48-D9A9C79A7F22","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"56197034b5f93ce8009de3ca24c814170872c2c2","datavalue":{"value":"Q128968847","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2331081$B020BF01-B08C-4D52-BC20-42E84F522F69","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ddb09beaa459b38c026abde9c1f661b73dadcbcd","datavalue":{"value":"10.1007/S10817-018-9494-0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2331081$4F035113-4C69-43CA-AF6D-CD45DD2776DE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"727e0ec11521a19b1a9e5569d54b42255e2dac15","datavalue":{"value":{"entity-type":"item","numeric-id":5166702,"id":"Q5166702"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ab2e62520e54b6cb9cd47d008ac1d3aa2a26743a","datavalue":{"value":{"amount":"+0.791837215423584","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":"Q2331081$9CE15400-2B50-49BD-A681-075B0EE844ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1efb1ee02b577745f27a02547de801fa0006938a","datavalue":{"value":{"entity-type":"item","numeric-id":4649292,"id":"Q4649292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"72ce05b732a39a1d315fcb61f63649ef42ed96a1","datavalue":{"value":{"amount":"+0.7907710075378418","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":"Q2331081$1D49406D-4D91-4323-A85D-3B8C4C8E7FC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ae1045ddaf53a16b5ab380d4a7e5cc866f3e7ddd","datavalue":{"value":{"entity-type":"item","numeric-id":342712,"id":"Q342712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2a5654f6459d0fa626e6e5d9f49456ad449e8adb","datavalue":{"value":{"amount":"+0.7493723630905151","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":"Q2331081$5E2C1B12-839B-46B5-B9FA-52F7EBE0BEF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7208a4fdd527dcb609a81f4a49213711c58b0a87","datavalue":{"value":{"entity-type":"item","numeric-id":3587257,"id":"Q3587257"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fe9240823416ff65e2be1cd9245fba8c96addbbf","datavalue":{"value":{"amount":"+0.7464774250984192","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":"Q2331081$E7E6FEB1-151F-405D-A4F6-B1B25A00D223","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2fc092105d94b8572030033b080298718d2b7e85","datavalue":{"value":{"entity-type":"item","numeric-id":2324226,"id":"Q2324226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3fe2499063a00f833c09e6b6ac7bc2958a79e7c5","datavalue":{"value":{"amount":"+0.7386282086372375","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":"Q2331081$7986F359-CB7A-4261-9DA5-B75E50487F03","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2331081","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2331081"}}}}}