{"entities":{"Q4596923":{"pageid":6626508,"ns":120,"title":"Item:Q4596923","lastrevid":40760170,"modified":"2025-04-04T14:42:17Z","type":"item","id":"Q4596923","labels":{"en":{"language":"en","value":"Interpolation theorems for some variants of LTL"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6817171"}},"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":"Q4596923$FE42CFAC-C171-4301-AAD4-9B9972A1FCD5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1b6b66022779c6527aea4f78e2e6b3f7a0e171e3","datavalue":{"value":"1436.03123","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4596923$61C8F87A-5230-45DD-B8A7-6088C4EAE8F5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b85d73afcfdef0b0081445ae9ef418200127289a","datavalue":{"value":"10.4467/20842589RM.15.001.3910","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4596923$2A14DE5F-4753-4B07-9B24-2AE9773A8BB3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b08dfd6f0c1552627dfd33698447ccae094e7af5","datavalue":{"value":{"entity-type":"item","numeric-id":266882,"id":"Q266882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4596923$2741B15D-88DD-4E98-AE68-5CD802A23FA0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bc1abf00e7511afcb97fc436b2efb2d85d50713e","datavalue":{"value":{"time":"+2017-12-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4596923$ACA162E7-587B-46FB-B225-CF2955FA692D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4596923$00EAE2DC-9D5E-4958-BB1C-4A2912F67372","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"da16cc6c6eb08bf82419ecf96189672d0591bc99","datavalue":{"value":"03B53","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4596923$95D6D479-A1AB-4114-95F5-1D96C160F633","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c1d2d83da0d870574277144fdd1db9abaae162ec","datavalue":{"value":"03C40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4596923$2E848643-9ABE-44DB-A401-BD4AD6E688FF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e8e930ad7857a4e5f41fbca5256ca16fca2184a8","datavalue":{"value":"6817171","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4596923$C0FB0D4D-C6F0-460B-B3E6-DBBABBA54817","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0fde67ccdcc9bf6d54bedccc7954a6dc7a773329","datavalue":{"value":"Craig interpolation theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q4596923$EE44B959-36CD-4898-9823-AAE18FB7D4E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8655b9be840caa9be702e31cd5e062f5735bc60a","datavalue":{"value":"linear-time temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4596923$C99DFC98-CF65-49C6-A1B6-7698EFEC581F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bbf537dbec71095f9e06a79b6d427b8aa7fcfd79","datavalue":{"value":"infinitary logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4596923$9CCFA45A-9C18-4D40-8611-F02A16C9CD37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"720c3de76408c0968fd3d796d839c3822d3c5e57","datavalue":{"value":"paraconsistent logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4596923$CDBD1C5C-BAFB-457F-A6EE-416F49C3C3F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c7d4aa0d3cf1745112ae7d594a2a5578f4e767f","datavalue":{"value":"sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4596923$D9462CCA-A12E-4C35-B76D-E01D98646CD0","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":"Q4596923$FFA25011-59FB-47B7-AA16-CA80C738B995","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b1c66e5631a097abf46e5a3c452159a40622ec52","datavalue":{"value":"https://www.ejournals.eu/rml/2015/Number-50/art/5718/","type":"string"},"datatype":"url"},"type":"statement","id":"Q4596923$A8E6DF44-2E75-4893-9459-B1F5102F1F8B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7955989c62b02e5ca641c43584583ff6a8620bdb","datavalue":{"value":"W2189855648","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4596923$37340F98-E550-4A5D-9CE9-B0FD62D7D5E1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0cbed5bdc22f11cf6853bdf6450e8ea098b22a58","datavalue":{"value":{"text":"Interpolation theorems for some variants of LTL","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4596923$06D2C07E-EF20-4F28-8A66-42C244068B43","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"320c03e6b36018157cbd5be41353a09dc06aa7a9","datavalue":{"value":{"entity-type":"item","numeric-id":5740619,"id":"Q5740619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0a8ac24b888f3076b4e03abd57cfae317d0e263d","datavalue":{"value":{"amount":"+0.89838237","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4596923$07A97B61-9BEA-42B9-9FB7-FB9DC4591573","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"baf44d1f82c6ce4667c0ac890c08bb4d0eec7d71","datavalue":{"value":{"entity-type":"item","numeric-id":5957915,"id":"Q5957915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f4a1f973eb6b514cc74338d97156dfae482a0586","datavalue":{"value":{"amount":"+0.8722169","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4596923$336373AF-EE4B-4553-9A42-9DC7EFA1F26D","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":"9f6628b0cb5349dc8cb3014f658a3ddc7a990760","datavalue":{"value":{"amount":"+0.8704048","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4596923$94AA4BF5-D39C-48E4-B7A0-DAE4DDF93CBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c29f1ea0d1877e5c2b9de1968e56034687845ddf","datavalue":{"value":{"entity-type":"item","numeric-id":4635819,"id":"Q4635819"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7b1111fcec2c1e3af556698f3b74995dd1070aaa","datavalue":{"value":{"amount":"+0.86947536","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4596923$F759C0C6-18F2-4005-AAC2-0E176FF5D7DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fb5e44f140dab8a31109329358c415520b0ce897","datavalue":{"value":{"entity-type":"item","numeric-id":5166692,"id":"Q5166692"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bda4b822d3d7f141f3577fdf676d6477105408ce","datavalue":{"value":{"amount":"+0.8685515","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4596923$D9411DA5-EE96-46DB-BECD-497FE09401E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7d36b5404b898fe62c53febb4672b0854595158c","datavalue":{"value":{"entity-type":"item","numeric-id":4729756,"id":"Q4729756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c9e52d066c042ff530b5a2d18fa378e293a36524","datavalue":{"value":{"amount":"+0.86630404","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4596923$5A34147F-08C4-45DD-9D6E-BE51EAD166E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b0090e119c84bae189a9643a15a5400196cd26ea","datavalue":{"value":{"entity-type":"item","numeric-id":3028980,"id":"Q3028980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3ac33e8ea7cf9535b4865807dc7c2394b602a730","datavalue":{"value":{"amount":"+0.8654535","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4596923$3F93A84C-DA7E-4FD8-BB16-5A1A5F0949BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d1d7e98ea691cd731ff332024b59eb4c51286d82","datavalue":{"value":{"entity-type":"item","numeric-id":922543,"id":"Q922543"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f399481a78f8c85fe54b1f4ff179868a0123f5f3","datavalue":{"value":{"amount":"+0.8642776","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4596923$AE861974-CD53-4FE9-8A49-C477E10F9B4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d1f89b535f861ae50dd992023025b885cfdcca1d","datavalue":{"value":{"entity-type":"item","numeric-id":584241,"id":"Q584241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7dea4cfba3be9a329abc30af8e3bbd0c83869155","datavalue":{"value":{"amount":"+0.8640914","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4596923$3CB7EE46-5E33-43BA-A779-A203129ED947","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c8f6f27d40ca545d527bebbd5a920baf93d67e60","datavalue":{"value":{"entity-type":"item","numeric-id":4704742,"id":"Q4704742"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"918b6e7ed24e262d150bb9b3c4b0d7beb6cb5c88","datavalue":{"value":{"amount":"+0.8631314","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4596923$FB24BD37-F9D6-430B-BC84-B5A297CF6990","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4596923","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4596923"}}}}}