{"entities":{"Q3189795":{"pageid":3200503,"ns":120,"title":"Item:Q3189795","lastrevid":45636247,"modified":"2025-12-11T17:23:48Z","type":"item","id":"Q3189795","labels":{"en":{"language":"en","value":"A complete, co-inductive syntactic theory of sequential control and state"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6344191"}},"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":"Q3189795$2294C2D0-205E-4418-B53D-B459ADDA0691","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"78dfc734c7340eaf40236f3381b4d34496770a8c","datavalue":{"value":{"text":"A complete, co-inductive syntactic theory of sequential control and state","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3189795$F78AC952-89BC-4A6D-8E02-7FE518C86953","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"88df6acdb811b3930004ab6adc0aa08d8f6744a1","datavalue":{"value":"1295.68093","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3189795$D0AADFE7-3048-406B-B380-A13948EB4780","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"35a3df3dd9ab764eb89d83e71bc0e92448bd2e04","datavalue":{"value":"10.1145/1190216.1190244","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3189795$E9F03E64-CCCF-496E-B197-874924FA566B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"35399beeafcf6ceacecd20cc40f92da70c2d6eb6","datavalue":{"value":{"entity-type":"item","numeric-id":444498,"id":"Q444498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3189795$FBEE3698-8ABC-4F73-B2AD-12CFF5834C60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"26760a556f7239e743cebed6c99bdd92225174cc","datavalue":{"value":{"entity-type":"item","numeric-id":2704323,"id":"Q2704323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3189795$C5B2AC1C-BD4F-4614-9B89-D97286809E35","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"42ff8c7ed004bb20c7b1a2b6084e38122d4ab0d8","datavalue":{"value":{"entity-type":"item","numeric-id":3189774,"id":"Q3189774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3189795$BA2413DD-9ACE-4FF3-84A9-50D6B96BB260","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ad0e577f2be69493b55b974834cf6fd5cd3ca834","datavalue":{"value":{"time":"+2014-09-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3189795$B33EF74F-2947-4C71-A2AE-D9A1C560E7B2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3189795$DC4D87B5-FD25-4FBD-97E3-F43EF5DA4941","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3189795$EA5DFB9C-BDC5-44F1-955A-6C7D925082E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3189795$AB652165-6C8C-4A41-BE8D-F8E696968DBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3189795$32297193-9624-474C-A7ED-3076831EF851","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4a9bf4e94b7c037640a44e875173e05d46d9da4f","datavalue":{"value":"6344191","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3189795$77E6A1B9-2690-4B94-AEC8-9755B1BD083D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3e04a2b734a1cac93a9ddfefc5a4de51edbfaf1","datavalue":{"value":"bisimulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3189795$78267BBB-66B8-4EEC-AAD8-E1BF5619B495","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e24821d94cc8c80abb5ca9331a432b22abfec884","datavalue":{"value":"continuations","type":"string"},"datatype":"string"},"type":"statement","id":"Q3189795$32919BC7-65DB-4258-A885-D09A71AF2F3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"82bfb36a15935438d25d603d5dfc33556f184f1b","datavalue":{"value":"mutable references","type":"string"},"datatype":"string"},"type":"statement","id":"Q3189795$3B7871A2-D610-4202-8820-A026AED3A0CB","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":"Q3189795$5CC17094-F10C-4504-B9CC-24C7DEC490FB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"32b3fe2fd04656e0aabc934511c05449fa0b5aa8","datavalue":{"value":"https://doi.org/10.1145/1190216.1190244","type":"string"},"datatype":"url"},"type":"statement","id":"Q3189795$B921F0DE-0E5A-498D-AE75-4D2277417FA6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8ec45716934ad9c58fb41c50d2bc11252f0f8aa6","datavalue":{"value":"W4230665378","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3189795$F3950E2C-D553-4376-B271-BB8475691F7B","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"3479f800d58fa7a6500ea557cb2d5cacf4b5fc24","datavalue":{"value":"Q130981166","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3189795$A1A37A70-A576-4C3D-8A86-B4ECE6990C96","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"00c012cc2720a25ff25b8184c7c2fdbd626d659a","datavalue":{"value":{"entity-type":"item","numeric-id":3184753,"id":"Q3184753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2e2da6c53f5a750999d81de2cca7409b6fb04c6a","datavalue":{"value":{"amount":"+1.0000002","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":"Q3189795$2706D5B9-F2A9-46E4-B664-56B4F5605D29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"211adca1c20c6808f066fba938689f00fbc2a498","datavalue":{"value":{"entity-type":"item","numeric-id":1101435,"id":"Q1101435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"016611fc63923236ff025aa7254b41072c78375a","datavalue":{"value":{"amount":"+0.92246634","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":"Q3189795$F27B2D23-253C-4293-908A-CE15D66D2FBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a3006700a383e8585dd0df62b3cd61ee57d281c1","datavalue":{"value":{"entity-type":"item","numeric-id":1263961,"id":"Q1263961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"631fd64d7a24faf0ac2a06989a231650b07e337b","datavalue":{"value":{"amount":"+0.9152855","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":"Q3189795$EBB1E132-A1B6-4A54-888B-337CB6975808","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"01b5e109543a0e7d83a67d5a3f64861c802c5028","datavalue":{"value":{"entity-type":"item","numeric-id":1199538,"id":"Q1199538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"22c53dd1612ec051aa0e19c3ea5d33ebdf5265cb","datavalue":{"value":{"amount":"+0.9066488","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":"Q3189795$31B29381-047E-4006-AE2F-C5C6E30240D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3c2deadc7703ecd8c461b8bf3b72503e91a974ae","datavalue":{"value":{"entity-type":"item","numeric-id":2179323,"id":"Q2179323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ab1db7e7d92609c914615e2b87c38b285742ddae","datavalue":{"value":{"amount":"+0.86666435","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":"Q3189795$80DA0670-B10F-4430-ABB3-F4656D859630","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"52d196914325f6cad9e7122e6cf266368ee8161f","datavalue":{"value":{"entity-type":"item","numeric-id":3741042,"id":"Q3741042"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d21842a8525972452ee659d0767fa27fc27591e4","datavalue":{"value":{"amount":"+0.8553212","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":"Q3189795$F24C95CF-F230-46EF-BFF1-086DD48FD7B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"15f38794237311f326971057cc99827025adb42c","datavalue":{"value":{"entity-type":"item","numeric-id":5158666,"id":"Q5158666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0ada9a8e5f640f72ba8ab2f5cf003a1aa3dfcdee","datavalue":{"value":{"amount":"+0.84798425","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":"Q3189795$7C22B635-4473-4560-9FED-E584E2D54EB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d90c0d3417f67c4711cc2ae7df7b7cb42d61cc02","datavalue":{"value":{"entity-type":"item","numeric-id":1327401,"id":"Q1327401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f660ae352edbc9e7c122ebb3efd6640cd02fe63c","datavalue":{"value":{"amount":"+0.84783995","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":"Q3189795$1F9D0BF4-87C8-45D7-A318-AD29734FC5D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a523b67078d02fd325946f26eeb12acb9b2978e2","datavalue":{"value":{"entity-type":"item","numeric-id":3725570,"id":"Q3725570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5e41f10dfa6f9a768aa739da6229b5f393d842fd","datavalue":{"value":{"amount":"+0.84616184","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":"Q3189795$EDEF0BB6-AB61-43D3-98C7-877D700551F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5ec3be053c0496b730a6e83c3d93e4f021451039","datavalue":{"value":{"entity-type":"item","numeric-id":4813223,"id":"Q4813223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"779d07f68a5c07785426db12c1c69d2f70fc6141","datavalue":{"value":{"amount":"+0.84444463","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":"Q3189795$CD8E3222-7196-4680-9E79-1D3149AD9122","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3189795","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3189795"}}}}}