{"entities":{"Q4693280":{"pageid":6722857,"ns":120,"title":"Item:Q4693280","lastrevid":82388072,"modified":"2026-05-06T20:47:13Z","type":"item","id":"Q4693280","labels":{"en":{"language":"en","value":"TYPED TIMED INPUT/OUTPUT AUTOMATA IN REAL-TIME, CYBERNETIC EXPLANATION"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 205227"}},"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":"Q4693280$0229E730-2213-4828-A53F-6286B1B0E1C1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c9694c72ff0ee5dcecba9a3037d9f3166e20a53c","datavalue":{"value":{"text":"TYPED TIMED INPUT/OUTPUT AUTOMATA IN REAL-TIME, CYBERNETIC EXPLANATION","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4693280$86B80409-728D-4E75-B844-7E01AA9636CD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"956eb3c85a6bd2f5bc7c846d9bf406075ecb6479","datavalue":{"value":"0798.68106","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4693280$37F964CE-C9C3-4D14-AF35-61530E282C76","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"99132e369bacbf9cfaeaae9f076d91bb99e35361","datavalue":{"value":"10.1080/01969729308961703","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4693280$072A755A-DDDF-421A-8D80-DE4099B6E7C6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"eb21d43595de486976fcc2cc04155ba51b4f9bf8","datavalue":{"value":{"entity-type":"item","numeric-id":266702,"id":"Q266702"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4693280$159F6241-0EB5-49CB-BC6C-43397EC6D7D4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4143fa2fc5c1247b9d2c05f2be919340e5d25fd0","datavalue":{"value":{"entity-type":"item","numeric-id":2785836,"id":"Q2785836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4693280$B84EA7A2-1428-4BC0-8A57-769846E0DBD5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"984246259ef39e1986d26ac7775e6cceef3e99e4","datavalue":{"value":{"time":"+1994-10-31T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4693280$BF5AFDAA-F239-4F10-8C7A-0320FE6EAF95","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4693280$01A4E57B-D2F9-4789-830C-C2B4CB1168E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b98c8953a849a41f73de6c789d289dafdf7e2b4d","datavalue":{"value":"93A99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4693280$944A9BEA-8E25-4637-98BB-48D6DA8AE909","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4693280$8B2A82DC-8959-431B-B89A-46426C54D2CB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9886c52a210b9752822811f27db64dc507c868ea","datavalue":{"value":"205227","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4693280$DC832304-BB14-4851-9C2C-45626C9AD2A9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"52686b706cca18fe7e7595e1d91fa5a536b6018f","datavalue":{"value":"timed input/output automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q4693280$B5AA3A6C-75A4-4A0E-A8AB-3A2F35DFCBD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"32d8658ac7e623fa6b36d4a5e4ccef0472ac0664","datavalue":{"value":"M\u00fcller automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q4693280$AEC45EAD-F22F-4922-B5A7-0B89B0CA3B9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4335ac5b492486243658842436ee0a5a2f457bbc","datavalue":{"value":"Girard's linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4693280$22C71C12-81AC-4F48-A72F-29E5C3E7637E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b0c982c3fa34fa54e6d0907769ee903c59036be5","datavalue":{"value":"real-time temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4693280$675C6679-E737-485F-B59D-00332983918A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"14597d17173777498b95dd9034a104bcb6be1d08","datavalue":{"value":"cybernetic explanation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4693280$FA246D50-1F33-4E37-88AB-1842158EDB55","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":"Q4693280$CDB800E1-E2F6-4909-BC38-C526CDC85DA7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a2498ed0c54bd3210686db5eb00e0f14d87f8729","datavalue":{"value":"https://doi.org/10.1080/01969729308961703","type":"string"},"datatype":"url"},"type":"statement","id":"Q4693280$957265F7-7544-4CA4-92CA-3E1DBBD93329","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d8573fa0da3abba3bb34c32e3572f361806ad317","datavalue":{"value":"W1989997817","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4693280$182CF852-7291-446F-B6CE-F2F40B56A2B2","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ae542aa49195da2f0564220c3e6d6c6c5762344","datavalue":{"value":{"entity-type":"item","numeric-id":769601,"id":"Q769601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4693280$67429AD3-2AA9-40F7-91AF-02D77161B9AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a2b2a8cf71a298beb3d5742fd0312db85012cf7","datavalue":{"value":{"entity-type":"item","numeric-id":579249,"id":"Q579249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4693280$7022C43B-7DEA-4246-8D0F-5F67E42E1610","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ca7d3938191910b4560c168a326b0febb423bf4d","datavalue":{"value":{"entity-type":"item","numeric-id":1565791,"id":"Q1565791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4693280$C84D99FE-A848-4BD3-91D8-A2BEC49A055E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc3da221ef639195800fa999b5da3717f501950b","datavalue":{"value":{"entity-type":"item","numeric-id":5638282,"id":"Q5638282"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4693280$48FED0C4-4867-49D2-A5B4-3F826F7BD88D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47b0ec3118c55b6f3ab232f29debefc8c9d383a9","datavalue":{"value":{"entity-type":"item","numeric-id":3688389,"id":"Q3688389"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4693280$3CB65ADF-8CD0-4D77-AB2A-AA836356F04E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fe065525bfc4ee2a2c7ff8a421b0b9909ebe1823","datavalue":{"value":{"entity-type":"item","numeric-id":3002201,"id":"Q3002201"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b1f65977f317b5ab2755222e8d2537de47e3f41d","datavalue":{"value":{"amount":"+0.7570450901985168","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":"Q4693280$E586E344-9CDD-4A6D-99A6-8AF8ECE91C13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fc7d8a33f394e86773f3891a98f7a9eec9fae4ce","datavalue":{"value":{"entity-type":"item","numeric-id":3006716,"id":"Q3006716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ef578c836008edabd1ba22cda7a6b8144920570d","datavalue":{"value":{"amount":"+0.7411413788795471","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":"Q4693280$E595E2AF-56C9-4E23-AD9B-BD9A31CC95CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"358c32aaa7c73261b043076708728cbb824fef27","datavalue":{"value":{"entity-type":"item","numeric-id":5176174,"id":"Q5176174"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7348ff74644fef91e999dede431f6524d2799c35","datavalue":{"value":{"amount":"+0.7235971093177795","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":"Q4693280$C3DFF365-D642-45AE-B60F-4F5A7C2EDA5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e4929db541abaeff19585802249b189759227a44","datavalue":{"value":{"entity-type":"item","numeric-id":4817528,"id":"Q4817528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ae381e73d2058cf8d1f29e4ad874e770704efe72","datavalue":{"value":{"amount":"+0.721285343170166","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":"Q4693280$E61D527D-4A0D-46EE-B887-4DA35C10C950","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2e1e115d3802018c4a2e59f6deb25445448fd3ad","datavalue":{"value":{"entity-type":"item","numeric-id":3139722,"id":"Q3139722"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9ce8b132f1e20bdc908cebee5e351d20d6716c22","datavalue":{"value":{"amount":"+0.7199440002441406","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":"Q4693280$AA1451DD-6BD0-4984-95C6-243249673906","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"TYPED TIMED INPUT/OUTPUT AUTOMATA IN REAL-TIME, CYBERNETIC EXPLANATION","badges":[]}}}}}