{"entities":{"Q2949451":{"pageid":2960171,"ns":120,"title":"Item:Q2949451","lastrevid":85396364,"modified":"2026-06-03T07:55:03Z","type":"item","id":"Q2949451","labels":{"en":{"language":"en","value":"Three variables suffice for real-time logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6488003"}},"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":"Q2949451$138F7309-66A6-4A58-9AE6-DF610D6D13BB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9f0cef8161214ccd58d131fadaa371964a819004","datavalue":{"value":{"text":"Three Variables Suffice for Real-Time Logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2949451$3FC96B5D-6BEC-4F49-A04E-CABD388697FC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"43669e29d07bb0df7da98916b95d824327c80340","datavalue":{"value":"1461.03020","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2949451$DF805D45-C149-4D5D-A12F-9CF5091DB04F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"35a8f76d0564a95be59c6ebc666011dd13c8d057","datavalue":{"value":"10.1007/978-3-662-46678-0_23","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2949451$9EEC58D5-1C95-4D67-80CD-18C575BDF9E9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5b13a313824c152231b7ab366e50d8a16122ae5b","datavalue":{"value":{"entity-type":"item","numeric-id":269324,"id":"Q269324"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2949451$B68EFE04-DB59-4E9F-87F1-D2D3AD3ADC4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"87e02e2a844383019034a4fa137108ece6484413","datavalue":{"value":{"entity-type":"item","numeric-id":444379,"id":"Q444379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2949451$C907439D-083F-4371-AB99-B9822C75AE04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7ac31ed59f319322de3924df7e9949677e7d337a","datavalue":{"value":{"entity-type":"item","numeric-id":2949450,"id":"Q2949450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2949451$2B33118F-06D2-43DE-BDA0-56B601B00D5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"661e9e35098991710b0d0d12df6c9b690ff93077","datavalue":{"value":{"entity-type":"item","numeric-id":391131,"id":"Q391131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2949451$C2D72CAE-F96F-4922-8522-63E4F6B68ED3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2949451$50802252-B1DC-4D37-9D1E-BF5820878CEB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e9cc25a3f929f7dc4cd6afff1695aa56ef6a0364","datavalue":{"value":{"time":"+2015-10-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2949451$4D9235A1-070D-46D6-AA08-04526E537B1E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c01dc2b53308ec9654ca82ba6c46d107f4cbc3d0","datavalue":{"value":"https://arxiv.org/abs/1408.1851","type":"string"},"datatype":"url"},"type":"statement","id":"Q2949451$C02D6A42-E35F-447E-AA39-F1EF4C900404","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2949451$EBDA0503-7AA0-451A-84A4-11805FCA4558","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"03e35b4b2f512d0f847f0f82b6e23212cf0278bb","datavalue":{"value":"6488003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2949451$1A6E0498-FFEC-4B34-A029-7E8C7AE105A2","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":"Q2949451$B041E0BF-F92E-47CE-AC96-545084C4473F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"36203f15592ad7e69bc63b3efce7eb739b22722d","datavalue":{"value":"W2228368164","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2949451$5200ABB3-7B47-4A84-9A10-B0AAF0CF48CB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aadf03d8284d33ea7ab99641e55c9ec5a3cb5eec","datavalue":{"value":{"entity-type":"item","numeric-id":2764146,"id":"Q2764146"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"adbb7f0f781153ba76a978435b41ffbcfa56852b","datavalue":{"value":{"amount":"+0.7446965575218201","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":"Q2949451$96CB8039-EBDD-4296-855C-6E31DD530588","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"35e20030e1e2604b48f6f0c042c9b004e04d7467","datavalue":{"value":{"entity-type":"item","numeric-id":5756667,"id":"Q5756667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"217e767c0e667cbabeffe5c98534e210e7870864","datavalue":{"value":{"amount":"+0.7315716743469238","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":"Q2949451$BBF0520B-1BFC-4533-82DE-7AE743C69CA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c76b7025ef1035e31c81776da78d90271a5a8f04","datavalue":{"value":{"entity-type":"item","numeric-id":1606122,"id":"Q1606122"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5ea4490f8fd6a3dcb826887e8bc25bfcdf9bdf54","datavalue":{"value":{"amount":"+0.7246318459510803","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":"Q2949451$2899D4EE-157E-4776-A8AC-F7ECD5E9EE30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a6c58205addc674c4d8bf6232eb40acc6101d995","datavalue":{"value":{"entity-type":"item","numeric-id":1062669,"id":"Q1062669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0f1b04a0bab9f05a18741dde05f214e3b14e66a7","datavalue":{"value":{"amount":"+0.7176114320755005","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":"Q2949451$A716262C-7D33-4589-99F7-B5C17B61F9A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f2004921462150a09a296ce53be1232c74a8a315","datavalue":{"value":{"entity-type":"item","numeric-id":3511220,"id":"Q3511220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8d5f06cbc84d3a9b1c3577fc29a229b6e9506a6e","datavalue":{"value":{"amount":"+0.7169623970985413","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":"Q2949451$FEBF2CC9-EB05-4B89-AF14-6344B84B99C6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Three variables suffice for real-time logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Three_variables_suffice_for_real-time_logic"}}}}}