{"entities":{"Q681718":{"pageid":683567,"ns":120,"title":"Item:Q681718","lastrevid":63554148,"modified":"2026-04-11T13:56:58Z","type":"item","id":"Q681718","labels":{"en":{"language":"en","value":"Problems of synthesis of \\(\\Sigma\\)-automata specified in languages LP and LF of first order logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6837538"}},"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":"Q681718$EDE7491A-F236-44DA-9681-3A9616A87BB9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"42740127aa965707a66b1abcdeff0ddfc47a8d5a","datavalue":{"value":{"text":"Problems of synthesis of \\(\\Sigma\\)-automata specified in languages LP and LF of first order logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q681718$5C57749F-17B7-4478-952D-75DCFBA1FC31","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2e11a5113927cd19a7a4b71611b934e5cd03dfd3","datavalue":{"value":"1380.68271","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q681718$E16610F8-2443-42D6-8023-F68B75A68F22","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1b023419c56b9969f2d98b08637e9b0af86a936b","datavalue":{"value":{"entity-type":"item","numeric-id":199816,"id":"Q199816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q681718$47AE5AF5-ABC1-47B7-925C-F7F513852E32","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ee53210b31b3a9f4fe71da2550e4c06c4d383198","datavalue":{"value":{"time":"+2018-02-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q681718$11D244F1-A6BB-40A9-89E1-2F9C27A3201B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q681718$50C0F010-1866-46A3-9345-DD047A19B777","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q681718$7019C962-7B72-48B6-80B9-CBCF29C7AD71","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9ce945c07bd5f19be85465f8bff2f0afcd91e5ee","datavalue":{"value":"6837538","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q681718$40A1D812-DF40-4372-BA6D-E89C0381F5B6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e2e80a7123e4ea6d0418cb24d37b1837f13e3514","datavalue":{"value":"first-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q681718$8B7DD9E6-F1EA-45D5-9318-E290B1568D09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"47511de611e7ca7c7f052290389ebfdae4c32892","datavalue":{"value":"specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q681718$E10F9A8F-8579-4BB0-B254-FD15A323192F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6972438fa33cc34d126a49afb4ae6f9226fddf2","datavalue":{"value":"\\(\\Sigma\\)-automaton","type":"string"},"datatype":"string"},"type":"statement","id":"Q681718$7F65FFAE-027F-4695-B151-FE20EC350499","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1d6cf51b202fc6b8ebbea8cd32ffb9b7d37cea99","datavalue":{"value":"LP formula","type":"string"},"datatype":"string"},"type":"statement","id":"Q681718$9559BB2E-BCA9-42EC-A464-175EA0E0D881","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"021698fec0631ffeb17b3fa4f1c193db7b0ac78d","datavalue":{"value":"LF formula","type":"string"},"datatype":"string"},"type":"statement","id":"Q681718$E9EFFD45-7A33-4747-8A60-3995E227C5E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ca74ed7341107a4c5612637dd2df45f2f363ec9c","datavalue":{"value":"automatic semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q681718$C91CA8EC-147B-4D88-A0EE-5C4CF1615E4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"52a999341aaefa1135294092a25bba7c35379c1a","datavalue":{"value":"specification theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q681718$1B0E4575-31C4-4C04-8CEF-502933F7F976","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2b856f185edb2a579a72c40fa0c8e1f739df71b9","datavalue":{"value":{"entity-type":"item","numeric-id":1127547,"id":"Q1127547"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q681718$F54BAB8E-9B85-4AC7-8AB4-6400CB87E60B","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":"Q681718$58716A38-052F-48D8-91F4-0021B0D452CB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5792d12b435359e0efb15a7c155c577696b3209e","datavalue":{"value":"https://doi.org/10.1007/s10559-017-9969-8","type":"string"},"datatype":"url"},"type":"statement","id":"Q681718$9F1CC57E-7BD0-410E-BF4D-B65852895B04","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b1f379219c5223c4f088d34c7a55f95b8009b93c","datavalue":{"value":"W2757040240","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q681718$A7DD29E4-048F-4E9A-AE53-02190EF9DF5F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ebc4e7f674c996076637f93e48613f15308ebeb","datavalue":{"value":{"entity-type":"item","numeric-id":1280907,"id":"Q1280907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q681718$E56EF002-5520-478D-A201-315A5CA91E16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0100b938aa02592e3dcec5a016d883a9d79cc50a","datavalue":{"value":{"entity-type":"item","numeric-id":4205072,"id":"Q4205072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q681718$F8DF64D4-019C-4207-BB41-0E9B7ACF7743","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b11f5746ea4bacdd7b399439ead75c0b127d95cd","datavalue":{"value":{"entity-type":"item","numeric-id":5277690,"id":"Q5277690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q681718$DE3E7105-2D62-4905-96B8-BAB9E764BC9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"706d1076c2b7172e772f801d5dde8c50430c6553","datavalue":{"value":{"entity-type":"item","numeric-id":5703780,"id":"Q5703780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q681718$76DA8F22-51F9-48E2-B7D9-FCB1CB6A84EC","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":"Q681718$EACDE4DA-0B23-47A7-A0FF-BBCA7B08276B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aac8c199ce6fbb1b4c9b6f59b5839a462fcacead","datavalue":{"value":{"entity-type":"item","numeric-id":334231,"id":"Q334231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q681718$333E7E06-61C6-4CF7-8EA1-D8F7E602D0FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a2c57dfd81934c0c76c7925c937211e00638a6bf","datavalue":{"value":{"entity-type":"item","numeric-id":1100884,"id":"Q1100884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q681718$B568AFF2-006C-4527-B6AC-A85238D87052","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"63395d93814febc8702468b6fd15654cd097ec70","datavalue":{"value":{"entity-type":"item","numeric-id":904417,"id":"Q904417"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q681718$4AE5F3C7-6E92-4FC5-BF7A-1B38ADAD665B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b44f8e589b20c85d87517a7b807e5a4e5b030c5","datavalue":{"value":{"entity-type":"item","numeric-id":5147350,"id":"Q5147350"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q681718$2E389BE9-5348-4CD1-94FC-82EC1A2DDD9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"577dbf13f89c10b0c88989570c2cc91becfcfdda","datavalue":{"value":{"entity-type":"item","numeric-id":1385765,"id":"Q1385765"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q681718$0C7230B5-A695-4A86-8F41-8F75CCF017B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f40726b3bb9df1b4bf7c18e221ecf12ca0fc5fe1","datavalue":{"value":{"entity-type":"item","numeric-id":1709455,"id":"Q1709455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q681718$77BC7B62-6F71-4EC3-A71C-247A5555CC60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ed6c740b956903b5ab4e044c1b215c39460b33b","datavalue":{"value":{"entity-type":"item","numeric-id":5958141,"id":"Q5958141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q681718$852E8A9C-21D5-4539-A65F-537C832A80D9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e4f57944a515d17ad884fb276be7631a7a8fbf8a","datavalue":{"value":"10.1007/S10559-017-9969-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q681718$ECE70591-F164-4BDC-87AF-5F5E470ED93B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0d4b1e86637c5c86900ae23da31def7ad8b417be","datavalue":{"value":{"entity-type":"item","numeric-id":1616245,"id":"Q1616245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"da2dd806c37559112fbb9baa3a1965ff7a9a14f3","datavalue":{"value":{"amount":"+0.96825063","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":"Q681718$6D62BCFE-0618-49FB-8623-ABB16440CDB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f6d4d761e916559290cf9c477590f6214bdd0647","datavalue":{"value":{"entity-type":"item","numeric-id":1385765,"id":"Q1385765"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f36536f00753e14f02e4c2767410d3af67750476","datavalue":{"value":{"amount":"+0.8986143","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":"Q681718$9CAAADEA-13EE-4716-A906-CF370771E083","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"77368e874457c55f5c48a5973ca607b2bf095e83","datavalue":{"value":{"entity-type":"item","numeric-id":1280979,"id":"Q1280979"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"53a026ced0783df43106f2c9e43bae137f0bef00","datavalue":{"value":{"amount":"+0.8868599","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":"Q681718$0CF08DE3-D35A-418C-B7BC-539C6328C7F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e8eabf1e4bb54ec3ffbbc2cfdd22f8f13bbca5eb","datavalue":{"value":{"entity-type":"item","numeric-id":1280907,"id":"Q1280907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cd296449dd9a00a773e8b8346ecb1e4dfe8bc8c5","datavalue":{"value":{"amount":"+0.88130814","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":"Q681718$7DD17F52-C655-4CCB-A260-77BFA5941EFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c81b34f94dba38d3509e273a16a87718db3807de","datavalue":{"value":{"entity-type":"item","numeric-id":5942109,"id":"Q5942109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8054b31e731675a2164a14328a9f6f235e6e3d66","datavalue":{"value":{"amount":"+0.87763274","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":"Q681718$BD0DF272-028F-40A3-ACD1-C3FBC22709C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f616de11a3c5610269ca01dfa82032d1ecc3e18e","datavalue":{"value":{"entity-type":"item","numeric-id":464896,"id":"Q464896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ae2f2e140eeea8c3c99e13112f9776e95acd63dd","datavalue":{"value":{"amount":"+0.8688667","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":"Q681718$9728852A-AE34-4977-B026-3AF477BE68F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"35216562714511c7908d1b1d132f24f18d55d006","datavalue":{"value":{"entity-type":"item","numeric-id":1709455,"id":"Q1709455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"143ff716d9f79841b2e98b7b88fbbd86b17dd537","datavalue":{"value":{"amount":"+0.8580253","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":"Q681718$FE9AD5F7-AC61-4630-BE70-97009E7A48B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f9e0ab22af2b10b885b25b68dcf49a2930c362c8","datavalue":{"value":{"entity-type":"item","numeric-id":3340166,"id":"Q3340166"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"303fd67c79afeb5da865d5640b37ae89097249a3","datavalue":{"value":{"amount":"+0.85149974","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":"Q681718$D5BDA039-7DD0-4BE4-8B33-F0B9306493BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"70939cc311f5e58b08b2a4170da837bbd2ffa818","datavalue":{"value":{"entity-type":"item","numeric-id":1675152,"id":"Q1675152"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"64e9a5d0ea2d6ee17c844a40c75fb6ae483357bc","datavalue":{"value":{"amount":"+0.851279","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":"Q681718$FCC47791-92A0-41F5-987B-B3B3F4B3F456","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eedbdb1d2f8b9693f9b3605b7afaf9aae39c463d","datavalue":{"value":{"entity-type":"item","numeric-id":1816006,"id":"Q1816006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"073a564ef171004539e7041ab01d814c95095be6","datavalue":{"value":{"amount":"+0.84974575","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":"Q681718$A453C724-D028-4491-B939-5406682E278D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Problems of synthesis of \\(\\Sigma\\)-automata specified in languages LP and LF of first order logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Problems_of_synthesis_of_%5C(%5CSigma%5C)-automata_specified_in_languages_LP_and_LF_of_first_order_logic"}}}}}