{"entities":{"Q6151759":{"pageid":13286066,"ns":120,"title":"Item:Q6151759","lastrevid":55600231,"modified":"2026-02-17T19:30:36Z","type":"item","id":"Q6151759","labels":{"en":{"language":"en","value":"Dissecting \\texttt{ltlsynt}"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7815090"}},"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":"Q6151759$10940528-3A98-41CD-81AA-5CD4CD8D8276","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a24a008cfea3f7d1e371d782415546e84fb130c7","datavalue":{"value":{"text":"Dissecting \\texttt{ltlsynt}","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6151759$2E9C1777-E1AB-4890-959D-4B685471FF4D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d3bcb7312cf02c7cb8a3ed82ca6cb128f35003de","datavalue":{"value":{"entity-type":"item","numeric-id":2165215,"id":"Q2165215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6151759$81D398F3-ADA2-4DD2-8DC7-CE9320DF0AA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"dd9daa1df9ff9ee7aa8a88ebfd42d3588d3673da","datavalue":{"value":{"entity-type":"item","numeric-id":325058,"id":"Q325058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6151759$B7CF89E2-DA3F-4AA2-B08D-0EA771277EA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"81bd03577a130e98610847cb49b30922e30427fb","datavalue":{"value":{"entity-type":"item","numeric-id":2165216,"id":"Q2165216"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6151759$2F4201DA-55DC-4F3D-B8E6-6EB21456DC1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c54d62ef0ac476071efaf1d32c10923287eab0cb","datavalue":{"value":{"entity-type":"item","numeric-id":2165217,"id":"Q2165217"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6151759$F538C65E-71CC-4485-860A-3536E455E5E8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"70551fcc6e89042fc26ae9242a005533b44a2d7a","datavalue":{"value":{"entity-type":"item","numeric-id":169908,"id":"Q169908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6151759$37B7FBFC-EC4A-40F4-85F8-685C6A2E6A21","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"012ca77457e4fcb067f81b39e263aa01ef27144d","datavalue":{"value":{"time":"+2024-03-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6151759$0A424025-4CDF-46E7-8E60-F38C335EDE9A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6151759$4163535F-5225-4E11-AAD0-0794B9FF8FBF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b18b6e1626cacd4d47c5ce76cf4b16ef5bc5679c","datavalue":{"value":"7815090","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6151759$31C7EC5D-F086-4D84-86C8-E0D1EE6CDAF5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"61cc79fbecd7a7237d0440cd427ca9a105b86ce8","datavalue":{"value":"reactive synthesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q6151759$8A45BF21-CE54-40A6-84C9-CF7382AD100E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d15850e00da325a34d047c935b0f3dc6a6ccc2cc","datavalue":{"value":"Mealy machines","type":"string"},"datatype":"string"},"type":"statement","id":"Q6151759$28E209CB-D105-4516-86BE-B04E66F18ABF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7c20266b4690f90eb91dd776a8bed0fe154b8859","datavalue":{"value":"parity automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q6151759$51463ABF-BE87-41FE-A3C8-DBDDD28CD7E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3b277d5c1fdcf85c420ab8edc13f2c16380fbc05","datavalue":{"value":"parity games","type":"string"},"datatype":"string"},"type":"statement","id":"Q6151759$C0DD3AE2-C449-4F27-9D4F-85FF457FDC8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d05eeb8af4750c521ff85f23ff180b6de39dcd79","datavalue":{"value":"LTL formulas","type":"string"},"datatype":"string"},"type":"statement","id":"Q6151759$13554F76-3C83-4BC3-B598-433862743014","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":"Q6151759$0007E1EC-0DAC-4F8B-805A-D754B12B7395","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e20157ddc4e18149eea6e8d1880192621adf10aa","datavalue":{"value":"https://doi.org/10.1007/s10703-022-00407-6","type":"string"},"datatype":"url"},"type":"statement","id":"Q6151759$F951832E-3C37-42E7-80F0-C0C4A9CBB3B6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b8369a65f56caddf4f2fb00bcee326bf0200acee","datavalue":{"value":"W4384300979","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6151759$0E083ED7-886A-487A-A565-70BBB6DFA0D8","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d0863918228d158fae088a6efc6f79f2c8e8057","datavalue":{"value":{"entity-type":"item","numeric-id":3724245,"id":"Q3724245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6151759$7E73B9DA-86EA-4BEA-AC10-B7ABFF218B96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0bbdce440ed281a3248d7f930dd030ba231cfd64","datavalue":{"value":{"entity-type":"item","numeric-id":5431318,"id":"Q5431318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6151759$37D4A1FB-D1AE-40F7-B00A-18C853E68EFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d4b54dce8abe93839fc87d43b220f2c0fcfcff01","datavalue":{"value":{"entity-type":"item","numeric-id":3510798,"id":"Q3510798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6151759$173B93B7-9579-4D5D-8FD6-6D24AFB0E38B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8bed96517ad5ba1babe6b302ab098c89d0358319","datavalue":{"value":{"entity-type":"item","numeric-id":1820578,"id":"Q1820578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6151759$628D2FC6-DDF5-45A8-9D7C-23D65ED36CE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"618c35694b758a9839ac566e69a497bebcf10591","datavalue":{"value":{"entity-type":"item","numeric-id":5145312,"id":"Q5145312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6151759$741EA67B-54A4-42E2-8BD5-23A696582E14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a5b46a43271cb7bdb8bd8f6aed80d0b79118e81","datavalue":{"value":{"entity-type":"item","numeric-id":4536600,"id":"Q4536600"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6151759$91571D24-20B5-41A0-A313-90E09004F020","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"825b6872a15bf96d878b4c4ae9a99b55a4097d9d","datavalue":{"value":{"entity-type":"item","numeric-id":4501540,"id":"Q4501540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6151759$548BAD97-5FC0-4E3B-9A5C-422AD0B15DAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"17bb89eb2ef027132a3e7a2f2c6a1cd0d7bac8c6","datavalue":{"value":{"entity-type":"item","numeric-id":3459475,"id":"Q3459475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6151759$1FE4C8E6-F496-454F-B839-CDEA2DFDDFF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"26c158dadd45f723badd393a645542b57039d857","datavalue":{"value":{"entity-type":"item","numeric-id":1603452,"id":"Q1603452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6151759$036635B2-B20A-4F85-8138-39AD2A35F564","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0be5d2185f8c51f7a3428dc8fb1cb0ae85aadb0a","datavalue":{"value":{"entity-type":"item","numeric-id":3384171,"id":"Q3384171"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6151759$F2AEF59B-367F-429A-81A5-F704C74F29F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a99a1e97e4c0b9150b7eebffc4b5a1b3088104b4","datavalue":{"value":{"entity-type":"item","numeric-id":4404801,"id":"Q4404801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6151759$37C31D1D-221B-4629-B10A-5FA153D7FB3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"086d47125b4187e2eb771d2a658eb5d9a5ff7ee9","datavalue":{"value":{"entity-type":"item","numeric-id":3168197,"id":"Q3168197"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6151759$A5EC75BB-7154-4113-A7BB-29479D17402E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"adc6441ba6cd46f4776d1a7ab95042dff17b7fad","datavalue":{"value":{"entity-type":"item","numeric-id":2165218,"id":"Q2165218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6151759$EF9EB17D-1206-4B43-B10F-DDF78623B190","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee0f06f8149ad9449d52f3e00709cc707f14bc42","datavalue":{"value":{"entity-type":"item","numeric-id":1276252,"id":"Q1276252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6151759$39C6B231-5DCE-48AD-AFE7-D1522213C84E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"115ef96bf99331e3ed47d04557a5b1c7b96446bf","datavalue":{"value":{"entity-type":"item","numeric-id":6487335,"id":"Q6487335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6151759$A67E19CA-5C9B-4BE8-929D-B45AFB159761","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d51713cf210b7b0f1590d9192e97bc88f74d97d","datavalue":{"value":{"entity-type":"item","numeric-id":6485860,"id":"Q6485860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6151759$E6898432-5593-4A7F-8E2E-B0F4C571BC4C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"afa596459fcbbc3d26b74327623718b3628a02dd","datavalue":{"value":"10.1007/S10703-022-00407-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6151759$A1200EA8-0C01-4DF5-966C-2F78B5A4B2A9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2ce361145fd3258059c51e9d3c3bbe938152c85b","datavalue":{"value":{"entity-type":"item","numeric-id":2303871,"id":"Q2303871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"78f75a126b98ff496636f357bf5bc3ef42079666","datavalue":{"value":{"amount":"+0.8239766955375671","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":"Q6151759$E8826C46-01A4-4D67-B127-5F74C38BA04A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d3ecdbc4d463644f2faa2eefbe26a4c9b87c1eb0","datavalue":{"value":{"entity-type":"item","numeric-id":5898629,"id":"Q5898629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f427e1bd30f5747d1b2c4a6282a2569096e4b320","datavalue":{"value":{"amount":"+0.8168838024139404","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":"Q6151759$F5F1BA3B-939F-477F-BAE7-D66650F876ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f1499ad98aba4b821d50174bcfee1c6e7a31820f","datavalue":{"value":{"entity-type":"item","numeric-id":439954,"id":"Q439954"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e090f913378e4430ec4afd4bf19af0aa6e6d7a57","datavalue":{"value":{"amount":"+0.8100538849830627","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":"Q6151759$1E62FB4E-735A-4F88-B5AA-C7403D2661B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"780a0d96e6fa25332b5cab5dd1fc1dfffc9fdca1","datavalue":{"value":{"entity-type":"item","numeric-id":6536136,"id":"Q6536136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3e528949adfd7639bf9e5634531fcc7f986e15b6","datavalue":{"value":{"amount":"+0.8073365092277527","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":"Q6151759$2328375B-0CD7-407C-8A31-5E49B313AE1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c8ed4dcaa57c1472d5eb1febbb31c1bc9bfacc1","datavalue":{"value":{"entity-type":"item","numeric-id":2891413,"id":"Q2891413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e576bde1c0478801378321291e3562edd09bda95","datavalue":{"value":{"amount":"+0.7965197563171387","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":"Q6151759$1F718775-32F1-4435-BE70-126DC8A5582F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6151759","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6151759"}}}}}