{"entities":{"Q3680280":{"pageid":5710186,"ns":120,"title":"Item:Q3680280","lastrevid":50033938,"modified":"2026-01-12T18:06:10Z","type":"item","id":"Q3680280","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3902040"}},"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":"Q3680280$29BF0CAB-81AA-4A2C-962B-C3B074681688","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0d24ef6bf80bbf72b4c96b90f76e6cf202ad8c51","datavalue":{"value":"0565.68047","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3680280$2F06B9F2-F50B-4559-9B8C-4556644724AC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"47f57cd36df9e30d446df3867dc3917e4ea74654","datavalue":{"value":{"time":"+1982-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3680280$DDBCCA0E-10E8-4FCC-B736-213165B84568","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a7dde57cbaf704d564d8f981ca98d6340e3d4aaf","datavalue":{"value":"68Q05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3680280$938B7149-72E6-4DA8-9FDA-944161DE028C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3680280$B4B2F8AC-5C87-4A43-AFEE-6F3371A2F4D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3680280$4AEB4D35-E168-43F3-BCC5-DEF826F35D5E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"70d93b686102c36d7de920d6650cc98885c2a7a6","datavalue":{"value":"3902040","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3680280$0BCED133-FF58-4EFD-ACEE-7B43AA73311F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a84479f37aa3dc7fa9fd5008e45b9221d3ebb46f","datavalue":{"value":"abstract finite computer automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q3680280$1102A4B3-3E91-4F4D-B887-A9CECD31462C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d521e71008c273795ba1286d53fb8c13380b15b5","datavalue":{"value":"infinite computer automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q3680280$3869129B-6795-41E4-97D8-2D3BCF18B903","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"023ce57622b1ab8764711a9bfbdafc710962cfef","datavalue":{"value":"computation theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q3680280$00F8F9A8-E94E-49A2-BE1D-BC243D6D3832","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9f430f8a8a9f684df8504e3aeba9b08b478a249a","datavalue":{"value":"concrete arithmetic automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q3680280$013AF8AB-756B-4BB3-A407-2C04449A93AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"489560b9b00c44572ad1e0eebe89cce928d6d1f3","datavalue":{"value":"programming languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q3680280$4DF41CC6-20B5-4BFD-B7C6-18BFDE94B283","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8377a765bc6015244f53e6172959fc71dd556d84","datavalue":{"value":"finite computer arithmetics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3680280$43027014-5998-477C-8DB4-8A05C0DDB5B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ea032f14678abd54b0d55af14fe6fe1fdae52549","datavalue":{"value":"correctness of programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q3680280$77B4B543-257D-4DF0-863C-1373B64C3EAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3b90220a9c31b26d013b77a0cf5f1b58f9902e29","datavalue":{"value":"concrete computer automaton","type":"string"},"datatype":"string"},"type":"statement","id":"Q3680280$BD2432E3-B630-4E18-9AA9-240991512143","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":"Q3680280$946EA5D2-CEEF-4070-ACDA-D9668DFD69B4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5fd6e3c89b58ecb94dd84e4ceff64b7389460063","datavalue":{"value":{"entity-type":"item","numeric-id":5418245,"id":"Q5418245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"08e47a58cbca7d7453b5e9fff7e2c902f4862f6d","datavalue":{"value":{"amount":"+0.7475065588951111","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":"Q3680280$38C75CFE-39BF-4635-BEEB-899273B5CAE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bb35fc9278d99d8b9c4e21f8be91a918f699183b","datavalue":{"value":{"entity-type":"item","numeric-id":3318134,"id":"Q3318134"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b170d5060f7ab2543a40db53da349f0a0f32eada","datavalue":{"value":{"amount":"+0.7413643598556519","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":"Q3680280$33E76D45-EB3D-4D3D-8666-117267DD728D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f68661f2c809e14d1c0c15657265bf3200ef7ccb","datavalue":{"value":{"entity-type":"item","numeric-id":4692941,"id":"Q4692941"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9b8fcf476200e1a3510c92ee597bdf305f9031a3","datavalue":{"value":{"amount":"+0.7329569458961487","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":"Q3680280$D48801EC-8026-4FB0-9467-9F67CFF2E2A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0bcca890fc227d36c4adaf59b37b1f7c2ef40915","datavalue":{"value":{"entity-type":"item","numeric-id":4459241,"id":"Q4459241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a14153937fe4cef0159e80227d823ae6f028f87f","datavalue":{"value":{"amount":"+0.7236073613166809","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":"Q3680280$58595EA7-935B-43B9-BDB7-C971CCF3AAC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d4675cf6672d3e82eeaafe60f83c870e6857c3fd","datavalue":{"value":{"entity-type":"item","numeric-id":4490750,"id":"Q4490750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"828a24bd05d0138ab344cc04538dcf97e87e8744","datavalue":{"value":{"amount":"+0.714555561542511","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":"Q3680280$EB25955D-A94A-4CB1-BEBA-9258DAC512E7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3680280","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3680280"}}}}}