{"entities":{"Q2233464":{"pageid":2244207,"ns":120,"title":"Item:Q2233464","lastrevid":57795387,"modified":"2026-04-02T13:48:29Z","type":"item","id":"Q2233464","labels":{"en":{"language":"en","value":"Complete trace models of state and control"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7410465"}},"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":"Q2233464$305DECB4-E5A0-4C92-8F1D-7FDF1560CF9E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a1c4a0d2b241d1f2bbe66df71e38d1863be35ec5","datavalue":{"value":{"text":"Complete trace models of state and control","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2233464$EBDE5302-A602-4320-BE7B-FB464CD18EFD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"47f9395cb8eb338cc44fee74a468e1abaff90cee","datavalue":{"value":"1473.68037","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2233464$C9F0F13F-2C0D-4CCB-B452-3F0F7B931DCB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"118ba9ca9a4150eb6dfb5a22ca2885ca3ee4f6c5","datavalue":{"value":"10.1007/978-3-030-72019-3_13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2233464$BB15EDAD-59DD-421C-B82F-578A96074495","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9e0832f544dffd08fd3e830a309d037a114ba169","datavalue":{"value":{"entity-type":"item","numeric-id":1652963,"id":"Q1652963"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233464$4ABE054F-7CF7-47D1-884C-0F8F3CAB4A2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"88574cc1a9da512fbd3fbfee15ad2279e5bf0f96","datavalue":{"value":{"entity-type":"item","numeric-id":388210,"id":"Q388210"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233464$6F1D8E44-EBFD-4293-97B2-AC4F1B71C5FF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"899d672926fe97cd87f3708d91dc74172e4f3b51","datavalue":{"value":{"time":"+2021-10-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2233464$B637F7A9-4496-4939-BC59-9062493F4A39","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1f227ee5c6c3af2c5b5612a7fd5871b04a29b919","datavalue":{"value":"https://arxiv.org/abs/2101.08491","type":"string"},"datatype":"url"},"type":"statement","id":"Q2233464$6103195E-49CB-42CB-AC7F-055245902853","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2233464$620F1CDA-B080-42F5-8EF8-C979C95BEA46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2233464$40CC5116-D8C9-4891-A6BC-9CBA456886D2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e2b5210a71ad5d3746e4dba8604cca5026a9d8ba","datavalue":{"value":"7410465","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2233464$B67D6954-AE61-49EC-AC97-1A6461D574F0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1b6692564b9126396903952c44aa98b86a268b23","datavalue":{"value":"contextual equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q2233464$57192762-24D0-4169-BA7C-F6604C62CA4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a465ec5110dcdbeedecb8c2d0a4222cad08e4941","datavalue":{"value":"operational game semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2233464$5007069F-65F8-4004-8F50-E725F22543CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"24eead82571a4178d5a51c2625de42c0ab129f2a","datavalue":{"value":"higher-order references","type":"string"},"datatype":"string"},"type":"statement","id":"Q2233464$84ABDB17-A031-4B37-B7EB-1EA6DEFF8F4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"216ace9210b8a9445f836b5d7843000108085251","datavalue":{"value":"control operators","type":"string"},"datatype":"string"},"type":"statement","id":"Q2233464$75BCF682-1FEE-4C42-828B-721B11066295","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":"Q2233464$D2332B89-4F69-4F0C-9F1D-42DC81657E50","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4efad509f9498623af2406b1d42e96b38c75731e","datavalue":{"value":"W3122294232","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2233464$A55827C8-C984-4A38-907C-878D39AA1011","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"598d99525e9a0094b9fed1dcff845cc4b8ee91b7","datavalue":{"value":{"entity-type":"item","numeric-id":1854394,"id":"Q1854394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233464$C2EDA404-1502-481A-9F12-611E407F577D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b6ebce8fe1caa0cc920eda8427c705be142a0fd","datavalue":{"value":{"entity-type":"item","numeric-id":4218919,"id":"Q4218919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233464$BF911DB2-DB72-4A6E-9BE9-102C824DB6FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"132c1fa64958228ae7d285c0ee400a31f94f1786","datavalue":{"value":{"entity-type":"item","numeric-id":5261531,"id":"Q5261531"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233464$2BD26299-5FB6-4873-862A-B1488FCC442A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"617c6ae73164a9951cea85105150374dd8db35ec","datavalue":{"value":{"entity-type":"item","numeric-id":5367066,"id":"Q5367066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233464$F007A26B-8BBE-499E-8839-08E52C96DA8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fff7f1b6e19f2ec28c1ed48f078aacb35f9f8696","datavalue":{"value":{"entity-type":"item","numeric-id":2937796,"id":"Q2937796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233464$B731A685-F23C-4D22-9DC4-750E55A9A4AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37a09cccdd730facc51bf400b37836cd56dd3b94","datavalue":{"value":{"entity-type":"item","numeric-id":2289066,"id":"Q2289066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233464$B122530E-CC7A-4490-B180-17F646370F2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff33ec0f70d39b662faf6224db55ac78dbb9cc20","datavalue":{"value":{"entity-type":"item","numeric-id":3165524,"id":"Q3165524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233464$E35926B1-6AEA-49EE-A0A9-E46A55F650A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4385740d7b36e16bac5817543ff7ccba2a459b5c","datavalue":{"value":{"entity-type":"item","numeric-id":3178283,"id":"Q3178283"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233464$1ED1C10D-E7FF-4259-87A1-17F7F8EF205B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a98daca76c57e932f6dcdc1d20bf8bc0f7e0881e","datavalue":{"value":{"entity-type":"item","numeric-id":1893729,"id":"Q1893729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233464$6BB5DAA1-798B-46AB-A426-F235D6C31DC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7dfda309eb42a5b38774d05c4351d124f0ce0084","datavalue":{"value":{"entity-type":"item","numeric-id":2942857,"id":"Q2942857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233464$2C128821-79D4-4D4F-BA0D-4EC9AB1D4781","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b44d5c81f7735368555911d4bd1908764544894","datavalue":{"value":{"entity-type":"item","numeric-id":1854393,"id":"Q1854393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233464$BB9F3AD4-96B1-4B8B-B173-BD6EEB69F6A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b345af04bd6225fe1bc7f8496b65e5563679e251","datavalue":{"value":{"entity-type":"item","numeric-id":2949444,"id":"Q2949444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233464$A3AB6F34-A39F-4AEF-AF33-A1D64F56BA67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6859ab3688478184b220c554f2f4c4b0e413a5d8","datavalue":{"value":{"entity-type":"item","numeric-id":3460912,"id":"Q3460912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233464$915CB8E4-4C25-4788-9E8E-44262CF186ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e1344014b2bb568b0c0b1ed562e1a4ad0a2e85c","datavalue":{"value":{"entity-type":"item","numeric-id":4635919,"id":"Q4635919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233464$DCFAA561-7E81-4727-B7A5-3BDF1B7CF61F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ccb7d511f8aba8436e91765e2ab29c0ba2c0f389","datavalue":{"value":{"entity-type":"item","numeric-id":3636798,"id":"Q3636798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233464$3E8FB62A-F80D-495A-BF99-0D56387C9FBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86d191295c7db3831683f4225028784f92743a17","datavalue":{"value":{"entity-type":"item","numeric-id":557787,"id":"Q557787"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233464$A514910C-C11A-47B2-AF3C-B1DF4603CA67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c1411401d990976dd6c4ba11bddd5ff797d94c0","datavalue":{"value":{"entity-type":"item","numeric-id":5348920,"id":"Q5348920"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233464$B005B88F-3028-4EAB-926C-2A3043D18076","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d084445455614909fc3077fa2ee195426771b5b5","datavalue":{"value":{"entity-type":"item","numeric-id":5144664,"id":"Q5144664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233464$B2E1DD35-29C1-42E9-A8FF-26EF704E5997","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"20c4b79829f8fd84af3b54b011e9baecc4634b7f","datavalue":{"value":{"entity-type":"item","numeric-id":5428848,"id":"Q5428848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233464$F15F0476-4FF7-49E1-B9BC-AADB7B5149EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5583e5c752f6e319df38e82d83799f2bcbd1ad81","datavalue":{"value":{"entity-type":"item","numeric-id":3608419,"id":"Q3608419"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233464$BD260FB1-F07C-4D90-8A9D-39FBE3C0A703","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8315bbf95312796cb6ad16a384a2b0559e0c4b91","datavalue":{"value":{"entity-type":"item","numeric-id":4635649,"id":"Q4635649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233464$0B208B18-C874-4CCB-A2DE-AF4E496A1A13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c6fe3949a60e4535ad5a0b04a8726d37af9ca0c6","datavalue":{"value":{"entity-type":"item","numeric-id":1249567,"id":"Q1249567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233464$F57AC992-F12C-4810-80E0-BC58366D2844","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f2421034b2e5b8c9a4605f25882b5ef4d7bb9c2","datavalue":{"value":{"entity-type":"item","numeric-id":2704328,"id":"Q2704328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233464$2C75E1BE-3B30-418B-8FB2-A3831490F892","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc4750cca92184ae4b471328f5c701fe49a2c218","datavalue":{"value":{"entity-type":"item","numeric-id":3508541,"id":"Q3508541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233464$2B6005AE-2D6A-4E81-A6DD-932D2A4566BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"956598292838c18761f954571ae7abd804f61a56","datavalue":{"value":{"entity-type":"item","numeric-id":3189795,"id":"Q3189795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233464$3BF7208A-D4BD-498B-926D-06D09BDCE042","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c0d57d6e758a53af039fd322c1223d44649cdeb7","datavalue":{"value":{"entity-type":"item","numeric-id":3644766,"id":"Q3644766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233464$F1D3E226-AA79-4A3F-94D9-69DA379EEB5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"31507ada159b0603f102dbb8c9c50cfc19f08e7f","datavalue":{"value":{"entity-type":"item","numeric-id":2704331,"id":"Q2704331"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233464$23F81D4A-29C3-42D0-8872-0C90FBD7D2E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb9afb32bb3ae6a01153e129293e698c6fdb023d","datavalue":{"value":{"entity-type":"item","numeric-id":3179291,"id":"Q3179291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233464$69202E76-09CB-4B49-ACAD-C6F7A6EBB5A3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e1dd2b965bdaddee4f4435e87e6b519211bcd08f","datavalue":{"value":{"entity-type":"item","numeric-id":4635919,"id":"Q4635919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2604fe15dccdf97aab396cb9422f39c9d9c04803","datavalue":{"value":{"amount":"+0.7891218066215515","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":"Q2233464$F2CE3F32-E59A-4133-A00A-720574A34A25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0a69d33708b6316618ebc0c2ad1e3fa2cf915f8d","datavalue":{"value":{"entity-type":"item","numeric-id":2949444,"id":"Q2949444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a6bffa964df32495d4d07e98226f5a7be591a611","datavalue":{"value":{"amount":"+0.7741955518722534","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":"Q2233464$20451177-8011-4E29-B02D-50BFA2FC571A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8048a74d882b6d457aa55d7fe2f8cbb88d030b3f","datavalue":{"value":{"entity-type":"item","numeric-id":5428848,"id":"Q5428848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c68ffd6243ef1fdbd5485071b381fc27155809cf","datavalue":{"value":{"amount":"+0.7740345001220703","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":"Q2233464$B56439B9-5F93-4415-BA48-76595314A8D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1193bd5fcf898407bcd87e713029412b9f65161a","datavalue":{"value":{"entity-type":"item","numeric-id":345713,"id":"Q345713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"58838ca1e86bf8baac4dba1c89acbe8f8e93707c","datavalue":{"value":{"amount":"+0.7450499534606934","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":"Q2233464$81C8BF4A-1D02-46F1-86A4-E30ACFA35B1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"73340204202a1373f43362e0a19b7f8d3e8c37fa","datavalue":{"value":{"entity-type":"item","numeric-id":3587438,"id":"Q3587438"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c56412d380456964b67f446f031e690e9881e554","datavalue":{"value":{"amount":"+0.7394974827766418","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":"Q2233464$02250A84-59B6-4470-83D5-D6EE2949C8A1","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233464$434B4933-EBA5-4959-8CDC-568532762FBE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2233464","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2233464"}}}}}