{"entities":{"Q1199538":{"pageid":1210287,"ns":120,"title":"Item:Q1199538","lastrevid":66465009,"modified":"2026-04-12T10:15:38Z","type":"item","id":"Q1199538","labels":{"en":{"language":"en","value":"The revised report on the syntactic theories of sequential control and state"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 94460"}},"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":"Q1199538$55C5FBA2-35EE-4D00-81EA-4E6FF359EB3A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c42f84fc3b1538b523d75595ecd24e3ad025fcde","datavalue":{"value":{"text":"The revised report on the syntactic theories of sequential control and state","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1199538$27C4E713-1B4B-419E-83CC-817AEB4BBE9A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5e192f4ecb773279b6d45a1765f4609d2fb56206","datavalue":{"value":"0764.68094","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1199538$DF88EE10-9C65-455B-9A73-A9D0549E349E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5407250c062161ed712387d4af6c8fe9976c915b","datavalue":{"value":"10.1016/0304-3975(92)90014-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1199538$BEE6DB4D-F19D-4359-A2FC-993240062BAB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8bfe7eec3db288eadfe34f00a6ac258323c994e5","datavalue":{"value":{"entity-type":"item","numeric-id":608230,"id":"Q608230"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1199538$A5313781-5113-4D98-815F-5AC41425842B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"13fa78e414526a3374733a5d0900368731c410c2","datavalue":{"value":{"entity-type":"item","numeric-id":1199537,"id":"Q1199537"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1199538$44177618-5F08-4EE5-A790-89563C26C899","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1199538$B3FBC00F-25E5-4759-8A55-1217098CF0B3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"be1a65edbb43ce1fc59464f99e70afbd93e8e2a0","datavalue":{"value":{"time":"+1993-01-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1199538$9487BD8A-9426-4288-AF03-C350FA852B5F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1199538$CC8A11E2-3268-496F-ABE1-19B3345056BD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"af165cc7fee47d8cb0cf3ce1741b92199afd14b1","datavalue":{"value":"94460","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1199538$77C98C57-B1E3-4306-A732-2D42F156A9F4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ea84e00d19ff7f006770a4f93417afc6ab510ea8","datavalue":{"value":"\\(\\lambda_ \\nu\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q1199538$A3BA20FC-85AA-4F60-87AC-0138C891D843","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d59758ad9a4ab25a76506af3e1e8d35bab62a55d","datavalue":{"value":"equational reasoning about imperative programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q1199538$924A5552-6504-4300-9EE3-E8CF8DD1A40B","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2b02b46847f3d7e3a5825b9484a88607b98dbd14","datavalue":{"value":{"entity-type":"item","numeric-id":13958,"id":"Q13958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1199538$FBF35213-5836-491D-BA8B-C1754E0A4F6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a8f057223c758d6b8295ecbdef4842faac2ccb72","datavalue":{"value":{"entity-type":"item","numeric-id":19253,"id":"Q19253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1199538$C628DED1-96AC-4959-A4A8-E7FD9DAA43CC","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":"Q1199538$4A772F4F-469E-4828-94A9-1D037F7AE4EA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2fe02409eec7a37f94bec56beee77dc5f969786a","datavalue":{"value":"https://doi.org/10.1016/0304-3975(92)90014-7","type":"string"},"datatype":"url"},"type":"statement","id":"Q1199538$92DE46E8-A299-4473-80ED-58C74EDE722F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"759d8a4e81ad960efae2d2adaa568775123c33b2","datavalue":{"value":"W2151716725","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1199538$955677A9-1FFF-4A9B-AD90-04C849C6272E","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"340c870bbe05508e518a01b406caafdfc9697358","datavalue":{"value":"Q56021135","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1199538$6195D018-699A-4FC7-B844-C7B42DB0507C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"956c663a8c65ca7a493106b21f9b04a9a741383f","datavalue":{"value":{"entity-type":"item","numeric-id":1155602,"id":"Q1155602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1199538$D8F1B61A-BB0B-4A09-A783-5AB7C0A9EAD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7560ee1eeb9a13415ac8537672089a0c086ad04","datavalue":{"value":{"entity-type":"item","numeric-id":3235339,"id":"Q3235339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1199538$385B816C-949C-4BC5-8A56-0E05573A09D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d56b81cc149fd4c5f4f4c86815da5f5d4ddf0b2b","datavalue":{"value":{"entity-type":"item","numeric-id":1263961,"id":"Q1263961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1199538$3B7ECFA9-E40A-414D-9578-04E5AA520C21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"61f80c309e64b1cfeded9c015638835fbb819eec","datavalue":{"value":{"entity-type":"item","numeric-id":1101435,"id":"Q1101435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1199538$7277F443-C299-47A6-9810-108DC60FB1DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d00685e690962496b9171a3355f96696227f14ef","datavalue":{"value":{"entity-type":"item","numeric-id":5528159,"id":"Q5528159"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1199538$FEB246D3-8309-471E-B1F3-81399EDE6ABB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"87f7bcfffc49742b219cd84a695191ca8beef7cd","datavalue":{"value":{"entity-type":"item","numeric-id":5734774,"id":"Q5734774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1199538$E4B353CF-46C1-4CDB-AFEA-99CCE4BE9C0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"28698953c4e8520dc78875a42ac214e8f43cd564","datavalue":{"value":{"entity-type":"item","numeric-id":5753940,"id":"Q5753940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1199538$A599AD73-61C2-46AF-9593-4B4D529418E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14821703ad3559ce115eabb18820913df4a58412","datavalue":{"value":{"entity-type":"item","numeric-id":3202991,"id":"Q3202991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1199538$EA5E07BE-6B5B-443F-83D1-3A154B620F3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e27be5516997b567899ad0b0d96cb56d275522c","datavalue":{"value":{"entity-type":"item","numeric-id":1225449,"id":"Q1225449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1199538$273EB086-E0DD-4E5B-A939-3E08F72E0793","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7536e92384e11ec3ce8637ede805331f9e036d8","datavalue":{"value":{"entity-type":"item","numeric-id":3997095,"id":"Q3997095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1199538$E206028F-737D-43C4-89EA-62253A83FDD0","rank":"normal"}],"P1643":[{"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":"a3132ce321f2d5f5c1d04bb4be959b342be3544a","datavalue":{"value":{"amount":"+0.8091737627983093","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":"Q1199538$5577B177-581F-46C1-B083-2EFE280AA8F1","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":"0641073db5e67668cd6ac0406bddb79dbeec1fff","datavalue":{"value":{"amount":"+0.7856070399284363","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":"Q1199538$26173CBD-ADCF-4D17-8082-210C09D0CC09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d01acc2b7ea561deb99859defa1f6f5298ff68d9","datavalue":{"value":{"entity-type":"item","numeric-id":3189795,"id":"Q3189795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a54220a4e518ea858c4da69fa43d9955a32f0905","datavalue":{"value":{"amount":"+0.770149290561676","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":"Q1199538$332F62BC-E998-4CC9-90B0-E14F70A4B753","rank":"normal"},{"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":"26fcea6a86575545859fb1a53e352f7a4d64a914","datavalue":{"value":{"amount":"+0.7551745176315308","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":"Q1199538$3D56E4BF-5F22-49B0-9B8B-2385A9E63C44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"df1aa76bf927b7d483d93039bf60451fdaf7e947","datavalue":{"value":{"entity-type":"item","numeric-id":3202991,"id":"Q3202991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e25f918248b6acb62b4cdcb0e8d38f3307d8cab4","datavalue":{"value":{"amount":"+0.7183326482772827","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":"Q1199538$FC728C64-57F7-43CE-9FC4-482C0144C907","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The revised report on the syntactic theories of sequential control and state","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_revised_report_on_the_syntactic_theories_of_sequential_control_and_state"}}}}}