{"entities":{"Q3297765":{"pageid":3308473,"ns":120,"title":"Item:Q3297765","lastrevid":53776151,"modified":"2026-01-25T17:08:03Z","type":"item","id":"Q3297765","labels":{"en":{"language":"en","value":"On synthesis of specifications with arithmetic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7223091"}},"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":"Q3297765$3AE947C4-E0E3-4289-A8CB-490B04CABB27","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fd7ff00d472f0e5218da304d36b5c57899ddd3ec","datavalue":{"value":{"text":"On Synthesis of Specifications with Arithmetic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3297765$292A0C0D-75BB-4354-9556-8A74FB6F36CD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"60b1ea041a40c7d678657f1cc46b9919b8e684b6","datavalue":{"value":"1440.68171","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3297765$608EB7AA-71C7-4D68-B243-A1D12539F95A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"10677087f403eb5c8a26ce2fd85e033df80ec745","datavalue":{"value":"10.1007/978-3-030-38919-2_14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3297765$466705E2-D146-4A5C-B026-F74DA6A23530","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5f275657c952801f81f8bc23b250a0ee9816c789","datavalue":{"value":{"entity-type":"item","numeric-id":1629749,"id":"Q1629749"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3297765$A555C053-05C6-4F31-BCC2-C4BA3B8F385A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3315bf391c0a058853db1fdd065cc2cb8ff023ce","datavalue":{"value":{"entity-type":"item","numeric-id":216121,"id":"Q216121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3297765$9CCEF05E-9AF1-45FB-A178-CA38D836521C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"cbf9559df02eec791348aacc2a79cff3972911d6","datavalue":{"value":{"entity-type":"item","numeric-id":3297751,"id":"Q3297751"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3297765$56B318C0-7F36-4927-9A66-196EB0B97798","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"93d5f4948d316121f295e91de8563e97eff620a8","datavalue":{"value":{"time":"+2020-07-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3297765$673FC272-CEF6-4500-AE53-129CB10A9245","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3297765$8D34E865-FF22-4049-897A-B24AE113B444","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3297765$7FC5F1D0-3D8B-4012-86EA-4FBA0BEAF8B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d5c83f057600e5614b7fec59c8e4ac61cb41ba8d","datavalue":{"value":"91A80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3297765$5780B8F7-957C-4164-AD4D-0C00956073FE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e46843418024e00c6ecde04d2277f534e50eec28","datavalue":{"value":"7223091","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3297765$C16B96BA-1D37-43DE-B5BE-A3F04CDFD0D9","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":"Q3297765$C61CA662-A030-4741-8F91-9A43E7CA0C40","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"27327c4e5303364dd4509624ef3c91a598887ec8","datavalue":{"value":"https://doi.org/10.1007/978-3-030-38919-2_14","type":"string"},"datatype":"url"},"type":"statement","id":"Q3297765$6103D755-921C-4310-9DBF-C07877372448","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"eac117acd8f015107f0dfb090cb21078099248a8","datavalue":{"value":"W2999769907","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3297765$7C09F2D1-17AE-4F6B-9491-A2173F83D735","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"389f8bb6e034f5dba5389bf7419cef429b2c3164","datavalue":{"value":{"entity-type":"item","numeric-id":3176385,"id":"Q3176385"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3297765$BCD45B8C-ABAC-4DDF-B691-01F02FC3E86B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b57d5224096e5b1977c4ed46b0dfb10c94f703d","datavalue":{"value":{"entity-type":"item","numeric-id":3452211,"id":"Q3452211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3297765$1263FA15-A54E-4628-8103-C0F12D303407","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e0f0782ffa9d03ab5d340451b37854db6311022e","datavalue":{"value":{"entity-type":"item","numeric-id":1401233,"id":"Q1401233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3297765$731B7840-FEED-4521-98D2-1CB71A54C7FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ead8421943a1be8110df254acca9ad1e8d64eb52","datavalue":{"value":{"entity-type":"item","numeric-id":5725991,"id":"Q5725991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3297765$05295724-BC35-47E8-AAEA-4402FEA4472F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13061f68da7af79744918152892311afb29dd4ca","datavalue":{"value":{"entity-type":"item","numeric-id":5168517,"id":"Q5168517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3297765$5A2C3C85-E420-4233-A7A1-0D05F778F157","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37cb607d88ad8e6c1f7d392d876ae904ba548fc5","datavalue":{"value":{"entity-type":"item","numeric-id":2938081,"id":"Q2938081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3297765$35E0327E-2B44-4BCE-B317-1D2A327D639E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce67ad78dbd309acf6ef71d942a6748f2c0f168f","datavalue":{"value":{"entity-type":"item","numeric-id":5875385,"id":"Q5875385"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3297765$6A9C51A2-F30E-4004-81D4-F9BAE87DF2BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ebc578b41e877f4673edecb33e9ba731558625b3","datavalue":{"value":{"entity-type":"item","numeric-id":5222965,"id":"Q5222965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3297765$7FD62762-E485-4E3B-9B1A-3A207F8177ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e66c9e4329bd3562cd20c5556a5370c78deba95","datavalue":{"value":{"entity-type":"item","numeric-id":5166702,"id":"Q5166702"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3297765$BEDCD039-A89C-49C0-8462-613A455DAF69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e79853adba7dabb9e347fbe23d83de53aae6e7f0","datavalue":{"value":{"entity-type":"item","numeric-id":3613352,"id":"Q3613352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3297765$DE642D98-EEC9-4347-B1F7-83D3452117C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"93d2101f99525d793bbdfc267767a9b5657b2830","datavalue":{"value":{"entity-type":"item","numeric-id":5875386,"id":"Q5875386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3297765$3FA74F9B-E1D1-4F1B-8A2A-A56588CE10A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b237004628b28d35abd4b97b22c917ff2ee3b5d3","datavalue":{"value":{"entity-type":"item","numeric-id":6109605,"id":"Q6109605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3297765$35AA3CC9-7BE8-4B57-B0B7-EB6789160EA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ad2bd33f7364db6e5c028f09f5805d0fafbd28c","datavalue":{"value":{"entity-type":"item","numeric-id":2576943,"id":"Q2576943"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3297765$1DD29220-6D1D-4048-BD14-A76C777E1DC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7636dbb3c75ee2b9209628fd8c22e23e8ac89e5","datavalue":{"value":{"entity-type":"item","numeric-id":4779173,"id":"Q4779173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3297765$F6C99C3C-6A25-4722-B798-5498ABF10AE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a85c9f7e24a5010f4a7bf43bf3ecd325bd704a7","datavalue":{"value":{"entity-type":"item","numeric-id":4381391,"id":"Q4381391"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3297765$58CE315B-5ADE-4FE6-98FA-C0FCA31566F2","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":"Q3297765$F8C0D18C-3009-4E51-91B4-4BF7CFF699E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fac444af0347a3709f7713b8c38aff2cdc09fc9c","datavalue":{"value":{"entity-type":"item","numeric-id":1341772,"id":"Q1341772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3297765$6EE7809D-A2DE-41B9-8A39-88D344F98A1D","rank":"normal"}],"P1643":[{"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":"3ce6b5166c06a15ea81f8ae1ea72239a1e2ee865","datavalue":{"value":{"amount":"+0.7818565964698792","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":"Q3297765$508A5FD1-1BBE-4761-B6C3-9420A6275926","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":"9380ea4998141d5da739cc729a2db1420beebe2a","datavalue":{"value":{"amount":"+0.7507537007331848","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":"Q3297765$61EA47D1-1D41-47B4-96FC-AFB1A413A1C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ff7d60a6ce8052bfa56fde89469334cce4c5fa7c","datavalue":{"value":{"entity-type":"item","numeric-id":5447371,"id":"Q5447371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9380ea4998141d5da739cc729a2db1420beebe2a","datavalue":{"value":{"amount":"+0.7507537007331848","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":"Q3297765$EEC04469-22C2-4DEB-A642-4A0DD10E1365","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8a63c2884cbf58bc139e6d746415ff2bd453333f","datavalue":{"value":{"entity-type":"item","numeric-id":3636858,"id":"Q3636858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"557a826d169181f3ec092f7ca9f46a31e40a3838","datavalue":{"value":{"amount":"+0.7399419546127319","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":"Q3297765$29033F1F-3E70-4726-A05E-4638CA58BDC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"69c255db051d96037fdab45204b4f7f4d94d800c","datavalue":{"value":{"entity-type":"item","numeric-id":4205072,"id":"Q4205072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"94baffc69428c10dba1b549dabf80441078b87b3","datavalue":{"value":{"amount":"+0.7390128970146179","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":"Q3297765$1BA103E7-38B6-40C9-A9A5-F23C383C79A4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3297765","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3297765"}}}}}