{"entities":{"Q5145634":{"pageid":7175205,"ns":120,"title":"Item:Q5145634","lastrevid":94606664,"modified":"2026-06-05T07:14:48Z","type":"item","id":"Q5145634","labels":{"en":{"language":"en","value":"Temporal constraint satisfaction problems in fixed-point logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7299472"}},"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":"Q5145634$7E2B28B3-6087-4356-8371-DDC07F0B0EBB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2474052d841d5db3c5e21679117838198fb89f58","datavalue":{"value":{"text":"Temporal Constraint Satisfaction Problems in Fixed-Point Logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5145634$B2B7518B-72F0-49B2-91C0-DF3FEA005D41","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b791fee716b46727d92ab21f0a894714728ad6ab","datavalue":{"value":"1498.08003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145634$469D06D3-3733-4774-9DBE-713D15AB22B1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"77cd0269bb659db4174f1fecbd6be2eca73362e5","datavalue":{"value":"10.1145/3373718.3394750","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145634$EEAF7899-67A8-4AE2-88AA-CEB9499C717A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4755582e657d5373bc1841f6f1020d16c1f93d52","datavalue":{"value":{"entity-type":"item","numeric-id":259042,"id":"Q259042"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5145634$4846210D-571F-41F5-A242-8FEA03799985","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7c8bc6c8a825df1964dede9d8a7f5fde3c9f213c","datavalue":{"value":{"entity-type":"item","numeric-id":2254517,"id":"Q2254517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5145634$A34642A0-A6A4-4CFE-9C93-3C62B52C08A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"31768a4bcd1537adf84f86492ca7cbf3cf3b7cb6","datavalue":{"value":{"entity-type":"item","numeric-id":2055792,"id":"Q2055792"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5145634$37EA5537-63E8-4E15-81F3-3930107AAC46","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d6acabd1d03c7bf4038f1fe09f6b50384b32deb5","datavalue":{"value":{"entity-type":"item","numeric-id":5145612,"id":"Q5145612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5145634$70967379-7659-47AF-AF14-1120B4B5D7BD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2be4cfc06a63d907ae95fa44423b78da0f5c0eb3","datavalue":{"value":{"time":"+2021-01-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5145634$2FFFE0E4-64FA-42CA-B1DD-B37A5D00F90F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"139c321cf44d0828fc8facf332a5d5e140798f6d","datavalue":{"value":"https://arxiv.org/abs/2002.09451","type":"string"},"datatype":"url"},"type":"statement","id":"Q5145634$C7CAF4F4-C267-4E0C-90D1-2D547BCAD94D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"20bb5571a1bc4300de51d23c463eb631840cb343","datavalue":{"value":"08A70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145634$5FC7C695-A7DC-421F-B7A1-2CB5DB3D9661","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145634$04E3F738-14D2-4B2C-9D2C-A4FA4F5C5D42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"602d7e96b613d2f356db81712453cadad0417631","datavalue":{"value":"08A40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145634$4B2D7EB8-32DF-4BD2-9BF1-868C5FC2CE8D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b1e99ee94cc0daa5d3ae7d9ff5c2edc21cc7a8b2","datavalue":{"value":"7299472","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145634$F9962CE9-BF90-408A-981F-50FDEDDAE4E2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6059a6204e509b145e7ca05d32d4e42c7f2ac59a","datavalue":{"value":"Maltsev conditions","type":"string"},"datatype":"string"},"type":"statement","id":"Q5145634$5A085B21-A5F0-4087-B4C0-91559E8A4870","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b6adb3375356c6ee3503c328130015c13622190e","datavalue":{"value":"fixed-point logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5145634$B9CA3BDC-1680-49AC-A399-0AB1B938E80A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f14178d2412bda74aa6badd0b45e7f0f69d8ee31","datavalue":{"value":"temporal constraint satisfaction problems","type":"string"},"datatype":"string"},"type":"statement","id":"Q5145634$D9C97268-0AED-4272-97E7-CF74991B2ED6","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":"Q5145634$26803EC2-4CC7-48B7-9021-CFB1FF42C378","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7fcb2352276d6db8dcaae4acb7080674a4184588","datavalue":{"value":"W3031230092","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145634$30D9B7A9-FE69-4EF8-81BC-750C371D03C0","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"f6da23241978648b681e7dbdf2f6e334dfed8532","datavalue":{"value":"Q130828908","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145634$224332B2-7EDF-43AF-B9D2-3C785BBF1EE7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cfbdbb434e400c9165a51f0263f75d8c87848cf2","datavalue":{"value":{"entity-type":"item","numeric-id":5449838,"id":"Q5449838"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2415f80bd6fafc36e5ca4fc14928a27ea8bf1f0b","datavalue":{"value":{"amount":"+0.8403415083885193","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":"Q5145634$E239464E-0C2C-4ECB-A632-2E84EECE0199","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f78bb032d2b687d5064b18c864b978b0067834e1","datavalue":{"value":{"entity-type":"item","numeric-id":1936249,"id":"Q1936249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d70621f6db2e291ec2c746972c536e2384a0d924","datavalue":{"value":{"amount":"+0.8245612382888794","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":"Q5145634$EFE29632-0033-4997-9004-502670614BE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4789d7afec03a479ade7b861b717afddcb3cfbf4","datavalue":{"value":{"entity-type":"item","numeric-id":5505580,"id":"Q5505580"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ee5345d61f3fff6cb05289e6b8403c7c860122e5","datavalue":{"value":{"amount":"+0.8193953037261963","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":"Q5145634$89C14505-A021-48D6-80F0-9BD8AF6992A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"83f961bd8af11ac45f84a83b5ada9f74984795b9","datavalue":{"value":{"entity-type":"item","numeric-id":3578192,"id":"Q3578192"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7a4e12b60f794d6d9576c9aa03d17dde7e75dab8","datavalue":{"value":{"amount":"+0.8170795440673828","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":"Q5145634$25009D78-CA0B-4B2C-975E-9CDB6EB310FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b65e1bf51b2240554ff046be92c536189102f282","datavalue":{"value":{"entity-type":"item","numeric-id":3540173,"id":"Q3540173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"425766453243d5ef7314a9fad119f542f2babdd7","datavalue":{"value":{"amount":"+0.8113660216331482","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":"Q5145634$23B4EBB6-FF0A-4342-AB21-6F1D1679350F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Temporal constraint satisfaction problems in fixed-point logic","badges":[]}}}}}