{"entities":{"Q3081245":{"pageid":3091960,"ns":120,"title":"Item:Q3081245","lastrevid":80283002,"modified":"2026-05-06T15:50:28Z","type":"item","id":"Q3081245","labels":{"en":{"language":"en","value":"Phase semantics for linear-time formalism"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5861998"}},"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":"Q3081245$4A84D8C2-349D-4A4E-999B-706623F1E83A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c3eaf489b64389dd49313ff72445b54a74ede201","datavalue":{"value":{"text":"Phase semantics for linear-time formalism","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3081245$BEA38888-497E-4265-B51E-73A4DB44155E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1e9e4998ec634364c95b188a0214e6792a37a644","datavalue":{"value":"1216.03034","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3081245$61D10FC6-2AAA-4DF5-8D21-9459681D8856","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b08dfd6f0c1552627dfd33698447ccae094e7af5","datavalue":{"value":{"entity-type":"item","numeric-id":266882,"id":"Q266882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3081245$EEB3AC6F-E3F0-4F64-A1FD-68014E9A066F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"18d153db87c8aa6053edbe5427a634df51843ee4","datavalue":{"value":{"time":"+2011-03-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3081245$B584606B-2959-460E-B9BC-F60B4648D734","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3081245$DA3F967E-04CF-4FBF-B5ED-3E458DC3A0FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b363e494c684597e57f0cc15c7c0d8f9f3bcf9fc","datavalue":{"value":"03B47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3081245$1D665F57-B980-4956-A05D-946BD7369E89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3081245$FE56510D-2482-406B-B307-0E7CE496DBC9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"83e09e7c00e8a472b9f377cc4705224d9896df40","datavalue":{"value":"5861998","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3081245$B61D7893-E364-43E2-9D49-1B0B11EECA18","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8655b9be840caa9be702e31cd5e062f5735bc60a","datavalue":{"value":"linear-time temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3081245$A4CC514D-3FE8-4AE0-96AE-B9C7D92CAA01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f688d80cd10dc9c0b004843c0674655ad59b2fb","datavalue":{"value":"linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3081245$72AE906F-0B5C-4E0A-93D6-D9F2B468164E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0330316506ca239cfff19d0e3df96793e84e6ecd","datavalue":{"value":"phase semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3081245$E0E953C8-2231-42EA-8A08-D664B2AB30CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"669e1ab0be3b0e96a51a2ef7e433c212210f37a0","datavalue":{"value":"completeness theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q3081245$1A56BE99-1D8C-4F64-9FE8-EF59FA8001C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"97cfbdd458b576a7e018dc279ea34c5cb4040b6f","datavalue":{"value":"cut-elimination theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q3081245$59A06CA9-36EB-45EB-B52D-449E0F871B3D","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":"Q3081245$B4A44E34-1E2F-42BE-AF9C-17FEA2554860","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0fdac6744863d7aa818e572af66988e8941424e2","datavalue":{"value":"https://doi.org/10.1093/jigpal/jzq023","type":"string"},"datatype":"url"},"type":"statement","id":"Q3081245$49BC2713-1335-4205-AD56-EE627BC491EF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c028cc6281a8543e4c7bb2ffbd26f56309102b8a","datavalue":{"value":"W2016937543","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3081245$E8220CF3-5380-4F9B-9AB8-A7BBAFD82C54","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"48b74d0766929883eceee5b5abf52051aeee4f68","datavalue":{"value":"10.1093/JIGPAL/JZQ023","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3081245$DF49029F-1F3F-4446-8C07-1C770E082711","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2322a21df36f02b2b9c16a6174c764d5fc949009","datavalue":{"value":{"entity-type":"item","numeric-id":3061274,"id":"Q3061274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3081245$507093A8-D022-4081-A124-756B5EE20430","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cc47658fbde05d76bd9a05e291da30b133402539","datavalue":{"value":{"entity-type":"item","numeric-id":4699356,"id":"Q4699356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2b1ec6e9bff929b366da2245db59c9232a232bcf","datavalue":{"value":{"amount":"+0.7985053658485413","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":"Q3081245$DB582601-ECD9-4C08-AD8D-15C129F0C89B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4444e22cf4a815a8834036d41840500b1509c8b3","datavalue":{"value":{"entity-type":"item","numeric-id":1895457,"id":"Q1895457"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d1ecfeedcb3a9eb7aa2df3d54172aa53a3369868","datavalue":{"value":{"amount":"+0.7982177734375","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":"Q3081245$BAE9BE91-5B69-43CA-ABFC-E049869C78DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ddf790c5aa95c76d26d7acc9f26e6ffae30b44e2","datavalue":{"value":{"entity-type":"item","numeric-id":947268,"id":"Q947268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"84ac8cbdd147b7f95a26538aaa35aa594403e08f","datavalue":{"value":{"amount":"+0.7927674651145935","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":"Q3081245$70CAC9A2-D1FA-4844-AEEC-220EF671A50A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"96cdacd9e7ca0669ca235fd02fb84ce3efaed822","datavalue":{"value":{"entity-type":"item","numeric-id":2517767,"id":"Q2517767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d480f4725e4e36e7efaff7349c6006c4ada537eb","datavalue":{"value":{"amount":"+0.7900680303573608","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":"Q3081245$AF67EE71-ECD7-4685-9E12-367F54A6BF6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7b2c05770b94293fdf980f92f77f319df964931e","datavalue":{"value":{"entity-type":"item","numeric-id":271908,"id":"Q271908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c8dac08f61b83d99c3d04180ae91043ad7898664","datavalue":{"value":{"amount":"+0.7899753451347351","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":"Q3081245$2D242E4B-5A77-4D19-9D8C-27AA848934D0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Phase semantics for linear-time formalism","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Phase_semantics_for_linear-time_formalism"}}}}}