{"entities":{"Q2938537":{"pageid":2949257,"ns":120,"title":"Item:Q2938537","lastrevid":85241210,"modified":"2026-06-03T06:23:54Z","type":"item","id":"Q2938537","labels":{"en":{"language":"en","value":"Constraint-based algorithm for computing temporal invariants"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6386611"}},"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":"Q2938537$B6FAE4A6-55D0-4359-BD71-9A27BDAF63B6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"465fc2626e0396008c6a5ff0ecb4fae55826be83","datavalue":{"value":{"text":"Constraint-Based Algorithm for Computing Temporal Invariants","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2938537$B104D3E4-AA14-44DD-B1DA-C3F472094CA4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"096ea07e6ad2d56293b4e736db77fe26eb7ccb7e","datavalue":{"value":"1432.68419","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2938537$EEA28AE2-B0D6-48DC-8C23-8732654E08FE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e94f786151bcb8f140121feecd9f5475f736d5df","datavalue":{"value":"10.1007/978-3-319-11558-0_50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2938537$C12EF428-E925-4B10-AC2C-283C260F3E3D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8772e17b45726a7a4057c2fc4b665ed88724c35c","datavalue":{"value":{"entity-type":"item","numeric-id":359983,"id":"Q359983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2938537$00D0E48D-77FF-41DA-B374-87380EA552B4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f243a6673bd9cf7abffff5d921f26c940b2015b3","datavalue":{"value":{"entity-type":"item","numeric-id":2835857,"id":"Q2835857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2938537$85A0EE24-B4C1-4514-8C7D-6E09200A2A8F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"263261338df616964a138c38a6f0c5b7f36f1f12","datavalue":{"value":{"time":"+2015-01-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2938537$7ADFA492-E06C-45E4-A15B-E69D3D84FA6C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2938537$FFDB4EA4-52BA-4E2D-B13D-B96F0BC3421E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2938537$18CCDD5C-6ECC-464F-AADB-84623F2E2FB4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e45e57ba4e686147687999fa44342258c075247e","datavalue":{"value":"6386611","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2938537$289D3943-96E3-44F5-9F75-82C94618E4B1","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":"Q2938537$9AC4373D-8358-4659-AD89-BBCCB88B1DB2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"35e8e3e8f055044a77108d50bba0901abc168ab2","datavalue":{"value":"https://doi.org/10.1007/978-3-319-11558-0_50","type":"string"},"datatype":"url"},"type":"statement","id":"Q2938537$19F45D49-CC83-4003-B4B2-C16FB2FAABB8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"23760c5d5c2adf95ccf82e059240e51253c2915b","datavalue":{"value":"W643863548","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2938537$790F9BD4-CC82-4CD4-8523-07DD824B8166","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0397387a50d3d2a63c7a5f8382beea29196cf88a","datavalue":{"value":{"entity-type":"item","numeric-id":4449295,"id":"Q4449295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2938537$BC69D7CF-5A0B-47EC-8D86-0E673D37F351","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b11c55812abe09c2901f8963ae6e33a309a73cc4","datavalue":{"value":{"entity-type":"item","numeric-id":4428293,"id":"Q4428293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dd08c203e05ff4eb8c842f2fa8664fa1a1f7680b","datavalue":{"value":{"amount":"+0.7559775710105896","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":"Q2938537$BDEF1970-9866-4CF0-BFCF-B23A3F3C43C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f551d32aa18070a03bcff0c6ad0f4ab93b63c11b","datavalue":{"value":{"entity-type":"item","numeric-id":823762,"id":"Q823762"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"548828e3c89c331beda59797b41c9155d2b6e7c0","datavalue":{"value":{"amount":"+0.7481008172035217","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":"Q2938537$497FC6FF-08AE-4566-B1AF-60201DAFAB3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"34f676604994e5623f9b85982fe438243f2f96ba","datavalue":{"value":{"entity-type":"item","numeric-id":3196346,"id":"Q3196346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f0dadcf78a5e39e4bebb61a698f6a8b4304e0089","datavalue":{"value":{"amount":"+0.7349823713302612","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":"Q2938537$1276125A-5663-47AC-A680-88F02ED24CE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"11f14961f2861463d99ea6d39475d34be0255cc9","datavalue":{"value":{"entity-type":"item","numeric-id":1182161,"id":"Q1182161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a942a576796eefa712a6dbcb9d57fb0f3117d049","datavalue":{"value":{"amount":"+0.7214401364326477","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":"Q2938537$0FB95670-EC65-489D-893C-337553E8461A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9495214c1f1c6a46ce1664363f2d1fb3d2861847","datavalue":{"value":{"entity-type":"item","numeric-id":1327398,"id":"Q1327398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a942a576796eefa712a6dbcb9d57fb0f3117d049","datavalue":{"value":{"amount":"+0.7214401364326477","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":"Q2938537$1BE3550E-1474-4BEE-A25B-E6FBC6576E57","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Constraint-based algorithm for computing temporal invariants","badges":[]}}}}}