{"entities":{"Q671406":{"pageid":673255,"ns":120,"title":"Item:Q671406","lastrevid":63600333,"modified":"2026-04-11T14:16:04Z","type":"item","id":"Q671406","labels":{"en":{"language":"en","value":"Denotational linear time semantics and sequential composition"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 983276"}},"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":"Q671406$C95BA037-DAA5-4FB4-8CAB-D74082EBD5AF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"52475bbee1da63dc32ff42388b70674e677e0124","datavalue":{"value":{"text":"Denotational linear time semantics and sequential composition","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q671406$0AB173AB-90E5-4E2B-831F-A2D7213354C2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1cef47f8fb5061ba1a72b4f1f48340fff9298710","datavalue":{"value":"0900.68296","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q671406$88DE105F-5787-4AE9-A9CC-92FB41626386","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"45468f7c2ea090f6d7c42be25d81fc56a934201c","datavalue":{"value":"10.1016/0020-0190(96)00101-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q671406$C6979DF3-D488-4730-9BF5-A6DDCBFA6E64","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"46e921d835845969ea465c2330db5171d968f1ff","datavalue":{"value":{"entity-type":"item","numeric-id":436314,"id":"Q436314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q671406$04CB67C7-7978-418C-8202-E3DEEB9C37BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c6be0758ab24e32065513e953f1c6c34b492ac29","datavalue":{"value":{"entity-type":"item","numeric-id":671405,"id":"Q671405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q671406$B0265A4D-A43C-46DD-A401-33EDE4625E53","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"52fa7d44b58d0511cb8993765bd916aef86052d8","datavalue":{"value":{"entity-type":"item","numeric-id":63092,"id":"Q63092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q671406$35D23356-F279-4BBC-B7A4-E37CC30D604C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b79c82e669aca3d97718bc55c57512b326a2a4ab","datavalue":{"value":{"time":"+1997-02-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q671406$0660F43A-9EF6-4ED3-B359-992356CA7861","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d792ce389da109621f723331c04a4c33d97d4173","datavalue":{"value":"https://ub-madoc.bib.uni-mannheim.de/1758/1/1995_30.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q671406$6ACDA096-21AF-4A6C-917C-926946DA9866","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q671406$B7A1488B-EEA1-436D-99D2-87ADE3135150","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0b4e36586a9f60c4c7f9d95c5753bad12187f9c6","datavalue":{"value":"983276","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q671406$1680D064-C7B4-4565-B11D-E14F4E2F0B33","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3e44a161ba26e286cc00f505fc2c17b54142149f","datavalue":{"value":"Specification languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q671406$B589F614-F9E9-4640-A666-DA816C0F6A4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f9db8868b1fc14b46844832778d836062e97f588","datavalue":{"value":"Denotational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q671406$18D6C043-DCEB-4F41-9FEC-DEFE2E22EAEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1b65e77d88c60a14047c7b9ab76ab3d5d1748a00","datavalue":{"value":"Sequential composition","type":"string"},"datatype":"string"},"type":"statement","id":"Q671406$DF20002E-F2F4-408E-862E-A534C46E6C12","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":"Q671406$B0AC0F96-65AD-4A7B-95D3-FD66FFE120C4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"41512e0d307dea88a7557e3886b27b0c4ac2e524","datavalue":{"value":"W2046051500","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q671406$F4781C32-9BEB-486F-A638-E12437F0034E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9942e9f1e7dd047feb564c1ebb997f32e1d2a390","datavalue":{"value":{"entity-type":"item","numeric-id":1346621,"id":"Q1346621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q671406$EF8F68F0-3162-41CD-AAD5-A9A4AC5870B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"206a9b0f2c5b138d1e04b648556591f13e9488dc","datavalue":{"value":{"entity-type":"item","numeric-id":671406,"id":"Q671406"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q671406$7BE7A4D3-7155-4593-861B-7EB3F4853B66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce43e1bdcf0e9b2ac5a5f1e7902e8c2882908fc7","datavalue":{"value":{"entity-type":"item","numeric-id":1113660,"id":"Q1113660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q671406$F388A159-D2EE-4197-865E-4C1012708938","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ebc190307341457fe960078a7cdf558639863f7","datavalue":{"value":{"entity-type":"item","numeric-id":1179700,"id":"Q1179700"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q671406$CDB20BDF-B721-49FD-BBA2-6D3B8C1DB723","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fac796153c4e11c5b4f023b3b9d7021d53122ce2","datavalue":{"value":{"entity-type":"item","numeric-id":4746777,"id":"Q4746777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q671406$9EFF2010-F629-408F-A15A-193DD64B7B03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e98a7868470ff575c450bc5bf1ed5f0ae6ca7d9f","datavalue":{"value":{"entity-type":"item","numeric-id":5941193,"id":"Q5941193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q671406$578623D6-1B38-4203-A700-CF26CF172F90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"57a8a63bb3996781565f164e14637964dacf72aa","datavalue":{"value":{"entity-type":"item","numeric-id":4018067,"id":"Q4018067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q671406$160DAA24-9A71-4F7B-AB8B-92024AB8FD22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4cb52be1e07349061e3bbd2fc5d19888d5c7c180","datavalue":{"value":{"entity-type":"item","numeric-id":910188,"id":"Q910188"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q671406$701F0FBB-D1D8-4AF5-8902-D093DA18DF5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6b0f593aaa3110f1e8f538d98538d65a9ad442a","datavalue":{"value":{"entity-type":"item","numeric-id":3777424,"id":"Q3777424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q671406$EF84BBC4-5BFF-4BC4-B7B7-7579C75BDE9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7576a6c74e20f889070981f0f9d0a3a9e2ea8646","datavalue":{"value":{"entity-type":"item","numeric-id":3236794,"id":"Q3236794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q671406$16F648E4-89AC-4DFA-9C73-CACE2D78BD73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"391e966cda7841966699f9d7a3bf9750dda40e97","datavalue":{"value":{"entity-type":"item","numeric-id":3992568,"id":"Q3992568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q671406$A6970258-0686-4BA0-ACA4-B7DA72B8CB13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"39b99875d331d036577fe7a66dc4c7b8b3f2b53f","datavalue":{"value":{"entity-type":"item","numeric-id":6116565,"id":"Q6116565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q671406$CA7EC0C5-263A-4459-A454-7E1A244FD055","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"017ee968e085f601cf7496bb0d4aee5fe489c2dc","datavalue":{"value":{"entity-type":"item","numeric-id":1091134,"id":"Q1091134"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q671406$ABEAAD95-58DE-4232-872A-F9E47EAF4ED1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e8ce269e5bd60375fbd712612056928c79b773d8","datavalue":{"value":{"entity-type":"item","numeric-id":5941193,"id":"Q5941193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cb4de40ab8d5ee182035711208945cb75c767fd0","datavalue":{"value":{"amount":"+0.7543655633926392","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":"Q671406$A17C8877-96BB-4B8D-91CF-48DE3D6C785F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6dcb9184331303af9494f56776119fe4a92be76c","datavalue":{"value":{"entity-type":"item","numeric-id":3680261,"id":"Q3680261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3374e13e1c24916eb032b3679ed2261bc4ebde07","datavalue":{"value":{"amount":"+0.7482603192329407","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":"Q671406$D0544848-451B-47C7-B2B7-C788EBC22306","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b82da2efa86aced4e70fe483cdd4c1a7e173f75d","datavalue":{"value":{"entity-type":"item","numeric-id":1085602,"id":"Q1085602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c61623bb0d5f6a111a6d1945cc8276ff9dc7cb0b","datavalue":{"value":{"amount":"+0.7363946437835693","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":"Q671406$FE491BDF-7F4B-413C-97AA-E260EA1C1DAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e69c8073749f52f90d716a0263fd57803a33859b","datavalue":{"value":{"entity-type":"item","numeric-id":1348527,"id":"Q1348527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d273fd7800088d91b99466295c916f8b6d5d6876","datavalue":{"value":{"amount":"+0.7306494116783142","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":"Q671406$F99058DD-C551-496A-88C1-8A2889702413","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Denotational linear time semantics and sequential composition","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Denotational_linear_time_semantics_and_sequential_composition"}}}}}