{"entities":{"Q3644755":{"pageid":5674661,"ns":120,"title":"Item:Q3644755","lastrevid":88569851,"modified":"2026-06-04T14:52:32Z","type":"item","id":"Q3644755","labels":{"en":{"language":"en","value":"Craig Interpolation for Linear Temporal Languages"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5632014"}},"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":"Q3644755$76E3F3D9-C042-46C4-8E30-8C3B64535176","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7716894e1d01c1b5142341b9b3c52bd9312dec56","datavalue":{"value":{"text":"Craig Interpolation for Linear Temporal Languages","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3644755$DF7BAD77-FFE2-4ED9-A915-7615B35F2BB5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d56576bc4dbfb48f4797c5a6885c7c39a24b103a","datavalue":{"value":"1257.03042","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3644755$612F82F0-3F60-4ABF-98CA-1C62236470D9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7c9c7c7dcb4c2d3b75faca2dab36d4dd7d82440b","datavalue":{"value":"10.1007/978-3-642-04027-6_22","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3644755$51811B2C-69EA-4614-AEE1-A2180039C180","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a92956f3d5969caeb4388629cbd8b7b3db17345c","datavalue":{"value":{"entity-type":"item","numeric-id":269318,"id":"Q269318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3644755$F295D8E7-D437-49FD-9E39-84213EE04D05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a531f2e925d43508482b1d4b7ad4f917bc51fb11","datavalue":{"value":{"entity-type":"item","numeric-id":269314,"id":"Q269314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3644755$482D8681-78DD-4136-B718-3CCE39523BD1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6ce06ac78cec2c642b9fbad4cd2a2e4121754d54","datavalue":{"value":{"entity-type":"item","numeric-id":3540165,"id":"Q3540165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3644755$AF4269F0-BB1D-43BB-872B-6568F57F00AD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"cf6cafc2e90b526a4df9e96f2b96ab84218f45b1","datavalue":{"value":{"time":"+2009-11-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3644755$518B0360-BD45-4AC3-B115-93BFA7EB64F3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3644755$B255936F-1F65-4BF9-909E-F82C0CBB691A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c1d2d83da0d870574277144fdd1db9abaae162ec","datavalue":{"value":"03C40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3644755$2A1DA5D9-B143-4C5A-ADEF-7661BD750538","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4865e506b5d1d4e0d9b7570d77edf8ec92cfb82a","datavalue":{"value":"5632014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3644755$96D3E2E3-7C81-4EC1-9051-546A6AA13ADF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ceda7008fe09fdf28806f1d5cdbb9e84182a0456","datavalue":{"value":"propositional linear temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3644755$D0D4AC8B-2B70-4976-9E3E-4875287D93FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"03f1ce721ffa5b2f36084f57048f17032077e128","datavalue":{"value":"Craig interpolation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3644755$FE9E3D8A-7157-4BCD-9737-522E7C9240B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1b1050665381d701a00c82045659467c709878b","datavalue":{"value":"linear-time \\(\\mu \\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3644755$1B078097-3F47-493F-A9B4-C99E25821C13","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":"Q3644755$F073AF29-C79D-4971-AFC3-EDEA646D98FF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2b463be760f25159cd9482ca88c00cd4d92fc889","datavalue":{"value":"https://doi.org/10.1007/978-3-642-04027-6_22","type":"string"},"datatype":"url"},"type":"statement","id":"Q3644755$6583D637-E55C-4084-BECB-D3B077AB84E3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8f110902540a017163302bac7363aa3041379f13","datavalue":{"value":"W2110004112","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3644755$90077728-A372-4EE6-911C-44E6D2C170A3","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9dbf2356c33da6949992e76652d09afb44a132cf","datavalue":{"value":{"entity-type":"item","numeric-id":2457688,"id":"Q2457688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3644755$D3BEC3AA-4DC9-4FB2-8841-6BB766F3F6EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"64094cc4201a6201db371ef94b6e6db97b1ecea8","datavalue":{"value":{"entity-type":"item","numeric-id":5926539,"id":"Q5926539"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3644755$478002C9-EA22-4B2E-B1A5-4E935E18BE50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb019838f7e83d63569fdc9c7d517b95c9c37f34","datavalue":{"value":{"entity-type":"item","numeric-id":3714043,"id":"Q3714043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3644755$35FB754A-9D09-452A-81F6-839B38009AA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c91652d8eef5d489c9024016b6ec6e5dd271f06e","datavalue":{"value":{"entity-type":"item","numeric-id":859978,"id":"Q859978"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3644755$64A5FFC1-C1D7-48AB-A3F2-FB06814D7D1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"94335b6198a4660e05410711e1402e65450c3673","datavalue":{"value":{"entity-type":"item","numeric-id":3370762,"id":"Q3370762"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3644755$BCF9C28C-9252-493A-B2C3-2B5AF57D423F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7de140db476e3cb4a77792caeebac28e6bb14357","datavalue":{"value":{"entity-type":"item","numeric-id":3244103,"id":"Q3244103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3644755$07488287-F83E-452A-9F27-9DBE77681010","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"397419662126ccd88ae51119636bcd58ebe8f1b4","datavalue":{"value":{"entity-type":"item","numeric-id":1024121,"id":"Q1024121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3644755$3AE26FF3-5523-4BC3-B880-B151118EAB8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"711e282bbd2865ebea7c8b287f5496055a3f9a3d","datavalue":{"value":{"entity-type":"item","numeric-id":4953222,"id":"Q4953222"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3644755$2C2D053A-41B4-4CA8-AC61-102EFB08C071","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eca26ae8256a6bc16111e38a0de8984d56a02ea2","datavalue":{"value":{"entity-type":"item","numeric-id":1024120,"id":"Q1024120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3644755$A27BEFA9-5419-4EA1-AEDE-74745A2AB886","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"120c8e41431895a309f8ef32cac52a772f33d796","datavalue":{"value":{"entity-type":"item","numeric-id":4385542,"id":"Q4385542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3644755$B03B40B7-DEEF-4AD7-AB54-8C5B1D79DA8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6be45294957aebe75e8eb08538c0f5017350b1e6","datavalue":{"value":{"entity-type":"item","numeric-id":4817547,"id":"Q4817547"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3644755$B60426B8-514E-482E-8EE2-4E2992F7462D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2bd4529e28d041dd641edec8bcd84e45daa2a3c8","datavalue":{"value":{"entity-type":"item","numeric-id":684709,"id":"Q684709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3644755$E215813C-FCC2-4F40-9D77-465210ACE3F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"857799d8f0c80d23f1693fb90d554f48eb5bb5a0","datavalue":{"value":{"entity-type":"item","numeric-id":290250,"id":"Q290250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3644755$63B7642A-A8C0-44F6-9C53-305F48527601","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b520485c7e9df99ac2824f96292cd91a6b575bbd","datavalue":{"value":{"entity-type":"item","numeric-id":4596923,"id":"Q4596923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f58bb1628d5dc9b2153a940c32dfc3fd0677de50","datavalue":{"value":{"amount":"+0.8123104572296143","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":"Q3644755$704E4A22-3BB2-4989-B38F-C83E8EC5DDB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fb253fb55714f511287e3fb7db3bf54cfc2f7066","datavalue":{"value":{"entity-type":"item","numeric-id":5311270,"id":"Q5311270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"870b9077e436a7d58174fda461def2e444de5639","datavalue":{"value":{"amount":"+0.7802571654319763","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":"Q3644755$C112BE34-AE38-4949-B101-86D10C0AE34D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"344c358d317b177895c7e67ba772a33710870acd","datavalue":{"value":{"entity-type":"item","numeric-id":2765560,"id":"Q2765560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9c6eefb0167c6121d88013edf08c02ccf0dd5d3b","datavalue":{"value":{"amount":"+0.7720452547073364","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":"Q3644755$FCE84012-5187-4954-8D78-2E34D60B39A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"37a4fe2a64aab5dc197a9ebb78d43f5a216089cc","datavalue":{"value":{"entity-type":"item","numeric-id":3144874,"id":"Q3144874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9c6eefb0167c6121d88013edf08c02ccf0dd5d3b","datavalue":{"value":{"amount":"+0.7720452547073364","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":"Q3644755$E3046E4C-850E-4799-89B2-D38F0A9F0622","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"761fca96bc8f5d7ed1a77087e8be1f0159097497","datavalue":{"value":{"entity-type":"item","numeric-id":5703754,"id":"Q5703754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4901557e63cd6835e3d251b909affba8b5806841","datavalue":{"value":{"amount":"+0.764011800289154","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":"Q3644755$1641A420-43B1-45B3-98E8-126166386720","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Craig Interpolation for Linear Temporal Languages","badges":[]}}}}}