{"entities":{"Q4532986":{"pageid":6562578,"ns":120,"title":"Item:Q4532986","lastrevid":47926993,"modified":"2026-01-03T02:50:40Z","type":"item","id":"Q4532986","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1751899"}},"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":"Q4532986$2AA7E6ED-6D33-4215-88D5-1AFC439BE401","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"17bff1ae1998e329922a250320f37f88977b4b91","datavalue":{"value":"1017.68064","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4532986$48F2CBDB-DF09-430F-9509-B7884677723B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9bc4b03e016b1c1ba687bfbbc73598f86e419140","datavalue":{"value":{"entity-type":"item","numeric-id":595364,"id":"Q595364"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4532986$95447613-4B73-4E25-8EC0-0F6D406DAB49","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"699252fe7d0c2555c03ae79bf201a68b560e82c1","datavalue":{"value":{"time":"+2002-06-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4532986$76E474AA-24B1-4A0B-A18E-6A93CA4E7975","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4532986$14527E11-9B2D-42CD-ACDF-3E9F3CA154C8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a3f15eb12d0c3e4cc983a0c928c4fbb8c6c68df9","datavalue":{"value":"1751899","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4532986$E09202A9-5911-4AC4-BEAE-10E77ADBC473","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4856b9c74b3dd58d64c262ae1f5585c045f3fddb","datavalue":{"value":"sequent automaton","type":"string"},"datatype":"string"},"type":"statement","id":"Q4532986$5846A634-BF6E-48CC-B8B6-D0254776F2E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"283c250681c65f08cd36be472d80c9e3d653b903","datavalue":{"value":"automata correctness","type":"string"},"datatype":"string"},"type":"statement","id":"Q4532986$2F19D392-8DC2-4A2A-867E-D5967BE3E7D1","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":"Q4532986$1BF22182-8CCC-43B9-950C-C620E3119DEB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ca964df44901801808b153365eff88ef9e68c4c3","datavalue":{"value":{"entity-type":"item","numeric-id":4732133,"id":"Q4732133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7d50b31b096eca6fafe10ee2bb27a1d64c61ada7","datavalue":{"value":{"amount":"+0.7090471386909485","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":"Q4532986$8DD8CD2B-6DBC-406E-9898-6A9D24A58BA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a9879e45390e00d78c65a0648f0df1e3e384f0ee","datavalue":{"value":{"entity-type":"item","numeric-id":5487370,"id":"Q5487370"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"44dd58a8558db5dd76336b12cc851bc3e90d201e","datavalue":{"value":{"amount":"+0.6999538540840149","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":"Q4532986$0FB90369-DFC3-42C6-B785-E8D5D3F24F12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f52d955002b9064e226e396365b35b7e63d4c2c6","datavalue":{"value":{"entity-type":"item","numeric-id":3743249,"id":"Q3743249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3562a025a4a19c8958f6255a017cee93d658a8e0","datavalue":{"value":{"amount":"+0.6988793611526489","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":"Q4532986$5E06ADE2-45B6-4BAB-A74E-7E8C360F3965","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1fa2ee0d5b76ad1471a6edf94635dfac86ccc1da","datavalue":{"value":{"entity-type":"item","numeric-id":3750123,"id":"Q3750123"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"93eeb57901b53c12aaf641472dd143f7fc700ea4","datavalue":{"value":{"amount":"+0.6986166834831238","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":"Q4532986$997CF7CF-8EF9-425C-9416-7702B6BC8F8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"407e2f6a39167c88b9ffeedd101924c62012234a","datavalue":{"value":{"entity-type":"item","numeric-id":1821763,"id":"Q1821763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2bd33dbe25df7a20e684248d306b21529ea7ab08","datavalue":{"value":{"amount":"+0.6948211193084717","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":"Q4532986$BA198AF5-5C2D-4F57-8C56-F44AAA796DE4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4532986","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4532986"}}}}}