{"entities":{"Q5111192":{"pageid":7140766,"ns":120,"title":"Item:Q5111192","lastrevid":94289747,"modified":"2026-06-05T06:26:09Z","type":"item","id":"Q5111192","labels":{"en":{"language":"en","value":"Diagrammatic Semantics for Digital Circuits."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7204316"}},"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":"Q5111192$412A5770-91D4-49EE-952C-5932B759D2DE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1902e46885400d40eecdde2919a2797fc5910afc","datavalue":{"value":"1440.68169","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111192$E8F76F8D-4DCF-444E-B8BA-793AE632E43F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5185e8175824add6dc52d9a0d759ffa7ca714345","datavalue":{"value":{"entity-type":"item","numeric-id":1566882,"id":"Q1566882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111192$DD5490D2-798C-4DBE-9425-B5E599B5D054","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"edf169dfbc83e2cfb9f268c6e1ff4674697c5ea1","datavalue":{"value":{"entity-type":"item","numeric-id":283747,"id":"Q283747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111192$2146365F-FF7E-471C-A40D-FE87B8B3BC1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c3a3ca3a5f0edb5fdac065e2aefb4a71dce60f91","datavalue":{"value":{"entity-type":"item","numeric-id":3384924,"id":"Q3384924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111192$64940A81-CF9D-4EE7-B6F9-2C5509D29EB8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"600d3a19753cf6cba81b7e42b63413a76fa78ab3","datavalue":{"value":{"time":"+2020-05-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5111192$3F350666-E114-4EDD-BA98-B745F4C01012","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"03eb94d7b7aab4370e6f58e7aaa94e947eb066c2","datavalue":{"value":"https://arxiv.org/abs/1703.10247","type":"string"},"datatype":"url"},"type":"statement","id":"Q5111192$9A2CA348-29F5-4979-8493-02ED1FCBD1AD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111192$D751AF02-EEFA-4F05-A607-D454750E732D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e4ea2daeca0cfefc07be3dd0f659dafac4cea2cd","datavalue":{"value":"18M30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111192$CAF378FA-5FEA-4C64-8051-C767F7C08907","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111192$65A655AB-ABD2-41BF-93D7-091E9BFD5F6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a252ac0e16e7cd1b816dd4d8c55ab05955b53869","datavalue":{"value":"94C11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111192$5D5A577E-9D2A-4132-87E4-C9DC210D748D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"27bd893022403de6a186deedec7f53b87030f2a4","datavalue":{"value":"7204316","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111192$1F1EB61D-A9D9-4901-8F2A-D14460FAF965","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ef6c9814a451d3e762260f29cc927d22af72d085","datavalue":{"value":"digital circuits","type":"string"},"datatype":"string"},"type":"statement","id":"Q5111192$3CE5D2E2-0829-4766-AAE5-339A4CA11451","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d550d58996ce31d7946eace013bf629d3913d2ff","datavalue":{"value":"string diagrams","type":"string"},"datatype":"string"},"type":"statement","id":"Q5111192$3506E5AD-4D7C-4140-9311-BCFB0CD34F99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"476e70cc5d552d5cdc76575cc73d40a8bfb4b86e","datavalue":{"value":"rewriting","type":"string"},"datatype":"string"},"type":"statement","id":"Q5111192$478AC52F-D8AB-4074-BA5F-A4C535E1BF65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d15a5b88457b15e43f49d0900c124a1c1adc72df","datavalue":{"value":"operational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5111192$6C14F838-BE32-4EEE-875E-DBBF0B95397C","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":"Q5111192$A7E17491-BF83-4130-845E-A9A69DB25A40","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2c2711c64bf99558513afec8b56a233dc30853a0","datavalue":{"value":"W2962749966","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111192$EFE8A0F3-E089-425A-860D-0E6D7FBD5885","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d78c01572b998fb7e23cd5254c85053d140b570d","datavalue":{"value":{"text":"Diagrammatic Semantics for Digital Circuits.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5111192$E4C4FB83-7C0A-49F1-B9A3-88CD308D4482","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"965080c5c33d45a0334319745afbe69718bf8e48","datavalue":{"value":"10.4230/LIPICS.CSL.2017.24","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111192$10D06642-DDD1-4A2B-8C2D-BAC3133FDD2A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b7cf5034f9a228a676d4c06d8c4621db4f9a9c48","datavalue":{"value":{"entity-type":"item","numeric-id":1099132,"id":"Q1099132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3417d90b776c102c9a50b8107f89504bc53812ee","datavalue":{"value":{"amount":"+0.92873174","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5111192$F4803AAE-5F75-41BE-8141-1BF3A4EAE16B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"09b7e4901cd1e69355a0b5da945f4ab287761a10","datavalue":{"value":{"entity-type":"item","numeric-id":3026918,"id":"Q3026918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5ce7f638ebef8d76fe528d159d45cfc631613fba","datavalue":{"value":{"amount":"+0.87258637","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5111192$9A72D8D7-B64F-4401-B3DF-1B2CE06813AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fe563e26eacf0d7dd4ab8ddf84b723956bef68f7","datavalue":{"value":{"entity-type":"item","numeric-id":1905687,"id":"Q1905687"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dda86f58d2deddbbdd88806ad51a6d75e0fce2d4","datavalue":{"value":{"amount":"+0.85764676","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5111192$68C63CEA-07A3-4B6C-9537-B243EBFFAE26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a633469418b74839548b3f4be948fd620b96286d","datavalue":{"value":{"entity-type":"item","numeric-id":4789448,"id":"Q4789448"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2cc76abdf29043b61f6729a9d544814f862f89f0","datavalue":{"value":{"amount":"+0.84436727","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5111192$0C4A21C5-9BAD-4BE9-B6C9-E4BEB08C995D","rank":"normal"},{"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":"471f73343e4c74fa9da7e271146f66d317e82af5","datavalue":{"value":{"amount":"+0.8427346","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5111192$FCEED90B-432C-4BB4-8AFB-CADD7C62471C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cfc1f9a566b70a0233b67f5ae300a8523ca781d1","datavalue":{"value":{"entity-type":"item","numeric-id":4140907,"id":"Q4140907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7db2c2956f45535dc3f0e83b6cfac0fe21a77bae","datavalue":{"value":{"amount":"+0.8390663","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5111192$1D5C95D9-7CD6-4DC7-9E22-D298AE39C023","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"042e074e8d235bcbdbc777494aa60003e2ab131b","datavalue":{"value":{"entity-type":"item","numeric-id":4548194,"id":"Q4548194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2f3be4b0dc8008d0cc4b0f9cf587f775d8283be9","datavalue":{"value":{"amount":"+0.83443165","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5111192$16B73AD3-85B7-4D3E-91CE-5FF091E95F27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f2a702ed73d31f74f6d3ada16a6e3f0af1a0d162","datavalue":{"value":{"entity-type":"item","numeric-id":4922073,"id":"Q4922073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7ed5af96abd4fce40839b195e4b24763a914d1ce","datavalue":{"value":{"amount":"+0.8332174","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5111192$CFD9A318-B76B-4D9E-B56C-90D84C01D41B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Diagrammatic Semantics for Digital Circuits.","badges":[]}}}}}