{"entities":{"Q1280907":{"pageid":1291657,"ns":120,"title":"Item:Q1280907","lastrevid":42998364,"modified":"2025-07-16T18:12:25Z","type":"item","id":"Q1280907","labels":{"en":{"language":"en","value":"Synthesis of a procedural representation of an automaton specified in the logical language \\({\\mathfrak L}^*\\). I"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1262972"}},"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":"Q1280907$F3A00060-9671-4D7E-87EA-1173D83792BD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7df798e2cfbd6121af2220e7feb02ee08d21f5d7","datavalue":{"value":{"text":"Synthesis of a procedural representation of an automaton specified in the logical language \\({\\mathfrak L}^*\\). I","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1280907$284FA394-620A-4296-A4DA-B30203B0BE01","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c6ff5a4e99ff05e8d862b62c2d8bd83153e1d7f9","datavalue":{"value":"0917.68143","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1280907$FA9901DA-6A8D-463D-96FD-F8BD639E711B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6a3faa2d18bc41886f25dcc55e83f1131ea38b34","datavalue":{"value":"10.1007/BF02733106","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1280907$69F9A4A8-6317-4E72-831D-611B8AB0EA14","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":"Q1280907$C06BDBB4-C660-4616-8238-552A6117B4D7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9d6d292392867bfa77ace8d025cfcc30db394b6b","datavalue":{"value":{"time":"+1999-04-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1280907$A3D27FFA-9692-4637-82A7-390FE45F9886","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1280907$8ADA62CA-4920-4564-98C4-33B1EC684500","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1280907$9C998305-BEB5-4B28-BC7B-C6BC0A984D78","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3f72cbccb56ab421c015b1c0fa4b9da0c93cd0bd","datavalue":{"value":"1262972","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1280907$B818DB7C-379C-48A7-9EAE-7B4EEA61B280","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d192ffca047741e18487c68f337024185f2b149a","datavalue":{"value":"automaton specification logical language","type":"string"},"datatype":"string"},"type":"statement","id":"Q1280907$2D9BC595-2F37-48E7-B299-370FD2234829","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":"Q1280907$16F68C38-95B6-4747-8B7D-57F38287ACD0","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":"Q1280907$25737085-B870-4C52-917B-2839B004EBE4","rank":"normal"}],"P223":[{"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":"Q1280907$EACC1214-1344-4471-87B5-EC0DDE7890CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6fe682707527e51d1912b797be115404652a89d","datavalue":{"value":{"entity-type":"item","numeric-id":1895045,"id":"Q1895045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1280907$29A366AE-89E8-44BC-9B4A-73525D2D282D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6ce354f9a8d1fb49b75ed755f59a60a57a4e1070","datavalue":{"value":"https://doi.org/10.1007/bf02733106","type":"string"},"datatype":"url"},"type":"statement","id":"Q1280907$CDD0D495-2CD2-44FA-AEAF-3DBF4DC6B26F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"83725a6e22001b46dbb49d4ce933ea8dac04a3ee","datavalue":{"value":"W2018942122","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1280907$72E4FE07-70AF-44D0-9D77-EF44B7E3F7E6","rank":"normal"}],"P1643":[{"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":"2afedbca40a50c1a3441db8c7de5586013469d8e","datavalue":{"value":{"amount":"+0.9844986","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":"Q1280907$4A6F4306-7192-468E-830A-DA158AC833C8","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":"477a4bc078356c2a25bad71c78403ed5894a25f9","datavalue":{"value":{"amount":"+0.92229736","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":"Q1280907$B89D3C05-E915-491B-B82B-CA0B15A96809","rank":"normal"},{"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":"62bb6b112a0145846426e454d00e3e9f68e23c49","datavalue":{"value":{"amount":"+0.89597505","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":"Q1280907$C094653E-2448-413A-837B-A2F5D79B503B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c0a2e4040f15fac9ba43303c781dd015c92a8aaa","datavalue":{"value":{"entity-type":"item","numeric-id":1922337,"id":"Q1922337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"86187fd57f18185d661d628248c74a9de49b67d2","datavalue":{"value":{"amount":"+0.89225507","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":"Q1280907$5FC76EAE-1121-495F-9D2E-C22FF5D5B308","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":"371b11946192f0d035d49c1088fe4870d1190bf1","datavalue":{"value":{"amount":"+0.89022446","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":"Q1280907$A2AF6045-D542-405F-A73B-097515744E9A","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":"817101ca363d56491e6f7fee830e012f9ae1f2b0","datavalue":{"value":{"amount":"+0.88712823","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":"Q1280907$31A01274-7A7F-4B7B-AA0B-1829851AF6A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"deb909634ea76a70bde1545ecb531165665460cb","datavalue":{"value":{"entity-type":"item","numeric-id":681718,"id":"Q681718"},"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":"Q1280907$3BAFDF4E-CEE3-4414-991B-E3D7FED269B6","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":"dea4ff2dc0ba35905401628879aaa37522630cdf","datavalue":{"value":{"amount":"+0.8791412","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":"Q1280907$6AC29861-6797-4970-B8AC-831833277BCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"36a443a2a7afde79f7ca0d4691c5642c7c13656c","datavalue":{"value":{"entity-type":"item","numeric-id":3346241,"id":"Q3346241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ef24a196d7711f3f42cd66132f3717b4f6790938","datavalue":{"value":{"amount":"+0.85604674","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":"Q1280907$E8308D9F-D861-4C44-9E5D-9706316AD372","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cafcd81eaeedfad7d00eb6d142dc7be27df15e37","datavalue":{"value":{"entity-type":"item","numeric-id":1905170,"id":"Q1905170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"73a9e03678cc2b753ebce000fff4a74f3ab86a99","datavalue":{"value":{"amount":"+0.8503498","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":"Q1280907$C9E70D4F-995D-4F3A-BCCD-D5569263CABD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1280907","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1280907"}}}}}