{"entities":{"Q2168790":{"pageid":2179533,"ns":120,"title":"Item:Q2168790","lastrevid":57442965,"modified":"2026-03-30T23:12:51Z","type":"item","id":"Q2168790","labels":{"en":{"language":"en","value":"From symbolic constraint automata to Promela"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7576524"}},"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":"Q2168790$BD456082-6074-4F1C-B02E-D083FD6CBC67","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a7924f23036c3e655bc533a07afb4f37dbc7b99c","datavalue":{"value":{"text":"From symbolic constraint automata to Promela","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2168790$AB7EB5E0-0618-488E-B61D-687EC6F39795","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7cace1f19e6d731c025f9eff88fda838dc334e2e","datavalue":{"value":{"entity-type":"item","numeric-id":292550,"id":"Q292550"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2168790$55125D49-196B-4F85-879C-18EDCA59D4BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"efdc2aa840d155fa6d7f395ddbc0ac0dce6f38cb","datavalue":{"value":{"entity-type":"item","numeric-id":265816,"id":"Q265816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2168790$8121A802-72DD-4C28-9065-108A4DE68320","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"de9a696d4705a4f5a619e13664ec09cedaba2a1d","datavalue":{"value":{"entity-type":"item","numeric-id":1996848,"id":"Q1996848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2168790$295A1D9C-3934-4E1F-94CF-2919785E9317","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2532b82fbfd494721e144e8b872f80867d7316e9","datavalue":{"value":{"entity-type":"item","numeric-id":246441,"id":"Q246441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2168790$BBB13496-5455-4705-A297-5B6454209956","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7f73b386990d93a2e672449eec9032448af61ffd","datavalue":{"value":{"time":"+2022-08-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":"Q2168790$48F7F572-99F8-4030-9BFE-2B8C63A92503","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2168790$5CF6892E-BEEA-43CD-8851-FB54411A3CCF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"82d855009ecfefc00027d8c07573af5f60a8cc21","datavalue":{"value":"7576524","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2168790$98043FAF-60E3-4995-A164-8549F1C39169","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"53a4a9b6c38d395d5b2eb80cedc3eefcbf3e9947","datavalue":{"value":{"entity-type":"item","numeric-id":15987,"id":"Q15987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2168790$D724B988-93B4-4BE0-AB09-CF7705395F7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"07c77124a102677321b49e780d83d2e468dd9d6a","datavalue":{"value":{"entity-type":"item","numeric-id":19657,"id":"Q19657"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2168790$259E85B3-09C2-4FFB-A3B1-1A3A3483A624","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8372eb2017a274c3bf7c1d06aae3ee8b2392f20c","datavalue":{"value":{"entity-type":"item","numeric-id":1334176,"id":"Q1334176"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2168790$16F1D884-BBE5-4FD5-A37C-BC055B36A932","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"5a8414726934ad74fc66bfb4dfdb61eea21cec47","datavalue":{"value":{"entity-type":"item","numeric-id":18479,"id":"Q18479"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2168790$CBAF0AB1-DB37-4724-9A4C-C7D136A9CA75","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":"Q2168790$5E17114E-E729-4D7A-B767-EBE193B91189","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"834dec49b42ffa44bb46eb9e16ad93dfdef65bf6","datavalue":{"value":"https://doi.org/10.1016/j.jlamp.2022.100794","type":"string"},"datatype":"url"},"type":"statement","id":"Q2168790$DFD8CFF5-2EB5-4C9A-90C9-7DB79E04EA57","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5decd3c2126af7d18ce8b367f976d41e4ed05f33","datavalue":{"value":"W4288046669","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2168790$55A1DB31-4821-44AC-9BA5-B397F10E808E","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"a1d43c6757db442f8730066b526446503979202b","datavalue":{"value":"Q114159197","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2168790$0281C424-E112-4F23-BE6D-BB724B1E28B1","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"35c04514017ccf09a1182abf7d6ba78fbb552273","datavalue":{"value":{"entity-type":"item","numeric-id":5900818,"id":"Q5900818"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2168790$D012AF37-6DAE-4504-B1F7-5D466246E633","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"316a7f52d1a85eea1cb2fa0afaf4cb5ab7a50ad5","datavalue":{"value":{"entity-type":"item","numeric-id":2495551,"id":"Q2495551"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2168790$82EC1EA1-24C4-48E2-949F-BDB70E7B4E30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dda77be932ed0e7147e2bc3dcdb77e21a25f87e7","datavalue":{"value":{"entity-type":"item","numeric-id":436387,"id":"Q436387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2168790$B8DEBBED-AD3C-4610-BB51-9DB009D67E59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59c7ca5c5006772e82a0ebf844af6bc5e4447996","datavalue":{"value":{"entity-type":"item","numeric-id":2894576,"id":"Q2894576"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2168790$F14DA731-8AB1-4F41-A59C-76C51DED503E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ffaee8e4f65675722c632bd5d45d4283a3e25ef5","datavalue":{"value":{"entity-type":"item","numeric-id":4621161,"id":"Q4621161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2168790$2646AE38-9411-44C0-AD87-B713343E2EC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a2897510c8890c58c38547e0d9d22ed58af93b7f","datavalue":{"value":{"entity-type":"item","numeric-id":1941851,"id":"Q1941851"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2168790$7B643C18-628B-48A2-A02B-3B87404F81AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ac30db14f6465344d333a95818936cc903dad05","datavalue":{"value":{"entity-type":"item","numeric-id":1781995,"id":"Q1781995"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2168790$73E70455-1353-4724-A0BF-0A80582828BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21007c3d1435ad29de57d95b29156582c3198b17","datavalue":{"value":{"entity-type":"item","numeric-id":1996852,"id":"Q1996852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2168790$13D0C926-8581-47F1-A2A7-DF1BC9CF2B90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"283a70169555a778fdf69ac73e0207aa4707b60a","datavalue":{"value":{"entity-type":"item","numeric-id":3297609,"id":"Q3297609"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2168790$C970E0D0-7ECA-4492-8EC3-9D240E508AD7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4de5b0bc38325918f5c73c44f8699c95c97d93a2","datavalue":{"value":"10.1016/J.JLAMP.2022.100794","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2168790$0BEA6CBE-81D6-4920-B846-FFA0797683B2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c141f6cd5fc7d0e435a25ee8d503b246fc48cf78","datavalue":{"value":{"entity-type":"item","numeric-id":433344,"id":"Q433344"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"88374c074c0ba295825006b842c73fe99fb0202e","datavalue":{"value":{"amount":"+0.7549217343330383","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":"Q2168790$32815652-FE7C-4788-83FD-52F67A7B54EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"12de385c49a24ccb3a19493a688a54dd777522ff","datavalue":{"value":{"entity-type":"item","numeric-id":2495551,"id":"Q2495551"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4a087a9c5eb2936d1ccc82a0c6932575974d541a","datavalue":{"value":{"amount":"+0.7497419714927673","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":"Q2168790$ADA9F756-56D7-4C2C-A016-AC8D69BA7E85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"30b1944f9fb5cd0fdd3d5f98304f2018a29eff93","datavalue":{"value":{"entity-type":"item","numeric-id":2810975,"id":"Q2810975"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9e1eebe6c790522d31e22c8306aac46bbcc2829b","datavalue":{"value":{"amount":"+0.7427335977554321","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":"Q2168790$56E710EB-2580-498A-A6AC-4F94605A61C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0289ec1c2a0bf770a45df88bd203768b38895444","datavalue":{"value":{"entity-type":"item","numeric-id":2974782,"id":"Q2974782"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f60424d3dc1c90405838678e632e15e01837ed3","datavalue":{"value":{"amount":"+0.7403538227081299","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":"Q2168790$2E8069B1-2FFD-4173-BAF3-314EAFC320CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"301ddc2298731a8a016fbbc12e07b891a3c36891","datavalue":{"value":{"entity-type":"item","numeric-id":3628607,"id":"Q3628607"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"39678194c5cf8cec5106c23354c2996bff456d38","datavalue":{"value":{"amount":"+0.736646294593811","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":"Q2168790$38DDE186-DB6C-4695-AA57-5612F7F30A21","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2168790$6F1E85DA-198B-4D3F-939E-E335A857A86C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2168790","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2168790"}}}}}