{"entities":{"Q1944775":{"pageid":1955517,"ns":120,"title":"Item:Q1944775","lastrevid":78029312,"modified":"2026-05-06T10:36:59Z","type":"item","id":"Q1944775","labels":{"en":{"language":"en","value":"Interpolation in logics with constructors"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6149026"}},"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":"Q1944775$7E90B57B-8B91-4E34-9945-0BC40CF1B93B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7234c2d2963c088350f2ced8620a0bed302104d3","datavalue":{"value":{"text":"Interpolation in logics with constructors","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1944775$9E3AF97F-B6A9-4EF2-BEDB-6393C12F565D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"303c8842ac1332c187e32c794d9d8339a2257e10","datavalue":{"value":"1259.03092","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1944775$59A6BBCA-B0A9-4FD5-BFA1-721E6AD48675","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f2d638021660716db5787978cf34b6aa4aef754d","datavalue":{"value":{"entity-type":"item","numeric-id":878155,"id":"Q878155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1944775$18018FBC-9F92-400A-8340-7ED129DDD182","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1944775$8CFF54AA-68E7-4380-9B52-866CD9D8570F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2f050e809bf0d98a9e4fb011b4fba825fa59b3a4","datavalue":{"value":{"time":"+2013-03-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1944775$9BD32D4C-4FED-4B37-B5C4-C53E4E1B5B53","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1944775$645DC988-C5AF-497B-A6B6-43599F3FFB96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c1d2d83da0d870574277144fdd1db9abaae162ec","datavalue":{"value":"03C40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1944775$D2752230-DF3D-4C99-97E6-7A9D5AB9EF26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1944775$1B051392-1A6C-4241-AB12-C2945EEC9A54","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a18f19f004a4036bdf06ab38ab721a5661cb8de0","datavalue":{"value":"6149026","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1944775$C4998DBA-CFA5-4DB1-BDBE-84805F3CABE5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"47aefda07ac5d6e74103bdf2455b1df41b0e324b","datavalue":{"value":"algebraic specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q1944775$B0E0868F-2CE0-415C-86CD-909CC9EC2E27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"47e02ac2fdcfcae6ede1dce8b210f5ee684c4dc9","datavalue":{"value":"institution","type":"string"},"datatype":"string"},"type":"statement","id":"Q1944775$464CBE3F-7B69-466E-8B5B-FEAFCE710A66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d9bc6474ad8409ef4528af84655741b6b5be3d7c","datavalue":{"value":"interpolation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1944775$E7F7BBBF-1150-44B9-A9BC-FA7617C95E82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4fa1af16e25f3d00861ddec0fed45ddff34b101","datavalue":{"value":"constructor-based","type":"string"},"datatype":"string"},"type":"statement","id":"Q1944775$E5C5C1EF-60ED-4FC0-819A-A6F1E75393ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"62ed1b2ba167230a9136fae7fa7f544041194248","datavalue":{"value":"Horn logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1944775$8172615F-E67A-4889-9FA8-8F788EECC9A8","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":"Q1944775$CF11D3F5-7EA3-4EBC-9215-EC8BB4409920","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9ac596b6239de3079193328b0bc47ae5c223aa1f","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2012.12.002","type":"string"},"datatype":"url"},"type":"statement","id":"Q1944775$D28F9639-9F7C-4D1E-AEF2-F6C95AEFA70F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3ebea0b5e58d28db9f5c5075b047ffe43e1e634e","datavalue":{"value":"W2054448672","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1944775$C2980FA3-FA71-43A4-9B81-E2C9DE64D791","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"84a3be68e2d2066e299c8f65d2b85f43565a3aec","datavalue":{"value":"10.1016/J.TCS.2012.12.002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1944775$4874A01C-278F-497D-A2DA-5BE9798839E9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aeffe33afd603fd4a5aa07a1c54164b1df0563cc","datavalue":{"value":{"entity-type":"item","numeric-id":2893323,"id":"Q2893323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0bbb279e261b274a8f7501fe2ec9d1c6da023c85","datavalue":{"value":{"amount":"+0.8497080206871033","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":"Q1944775$FE081A85-4A5F-411E-BEC4-BD78ED4AFBC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e2b0d563fefe927d6a7197e8dad06db12877d219","datavalue":{"value":{"entity-type":"item","numeric-id":3133181,"id":"Q3133181"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b35511a99dabdde367515f6f05a1ac995b1b4fba","datavalue":{"value":{"amount":"+0.7975772619247437","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":"Q1944775$2D4D2276-9188-4808-9EAC-4DBE65086E32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"85cbcbfcbc08c8711ec9903efeb6d2351bd3827f","datavalue":{"value":{"entity-type":"item","numeric-id":2816365,"id":"Q2816365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d564b3b5bd0c7196473c7bcefa18c2f9b1b164c1","datavalue":{"value":{"amount":"+0.7947039604187012","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":"Q1944775$CCAAE608-580D-4DE1-992C-9B5845169994","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"660b225cd944f498669ce74a3881521b2f2a3caf","datavalue":{"value":{"entity-type":"item","numeric-id":1876090,"id":"Q1876090"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f4be10d37cbf70b5e2f949529bc1a8cfdd1df151","datavalue":{"value":{"amount":"+0.7876303195953369","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":"Q1944775$A8259DC0-3ED4-4AA0-96D5-99AEA4FF8DCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"521411766509f68e0b66c7b26bbca5b7146172d8","datavalue":{"value":{"entity-type":"item","numeric-id":1884940,"id":"Q1884940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"97f72c6d9ee96430d2a42695bde6e31a634f9236","datavalue":{"value":{"amount":"+0.7874289155006409","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":"Q1944775$7C9DC9EC-7A48-4181-B34C-EDFAD77491B6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Interpolation in logics with constructors","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Interpolation_in_logics_with_constructors"}}}}}