{"entities":{"Q2883801":{"pageid":2894526,"ns":120,"title":"Item:Q2883801","lastrevid":83693354,"modified":"2026-05-07T10:00:30Z","type":"item","id":"Q2883801","labels":{"en":{"language":"en","value":"Fast simplifications for Tarski formulas"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6034121"}},"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":"Q2883801$29249A7B-3972-49B4-B374-AD9AF0B202A3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4dea6516991504ac5150cde9c3a57149aca5c472","datavalue":{"value":{"text":"Fast simplifications for Tarski formulas","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2883801$E92E24A4-5018-4AA7-A9F7-5866B8184A22","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"19cdf1ae40ea4f25ca400bc84feabbe8e5267a34","datavalue":{"value":"1237.68098","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2883801$3A1FD832-F4A5-4AA9-872A-6519FE6DE6C6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f51ff8bcd8ed32d613b3d3f7b0af88c73b251dac","datavalue":{"value":"10.1145/1576702.1576714","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2883801$2D06C780-2287-4826-8662-A4FE1E7115E5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7989f3c7163192933aa635efac5513ead9a9c0c2","datavalue":{"value":{"entity-type":"item","numeric-id":191937,"id":"Q191937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2883801$2068B3CF-943A-4F40-AA0C-B240BD1594CB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f9b4d6f20c3ea217f735a561dce8ff350d45ef38","datavalue":{"value":{"entity-type":"item","numeric-id":2883791,"id":"Q2883791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2883801$7A89DA6F-0A0D-438D-BB00-2BB33CACFD81","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"43d88f7d78ed551eaafdba0e8b65f63e3ea90e6c","datavalue":{"value":{"time":"+2012-05-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2883801$5FA078A3-E829-4D66-BA94-34EC9EA47EF1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2883801$8EA8A4AE-E56B-44C7-B9FE-68845810E5F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2883801$4E9E6E64-2AA1-4873-8935-6D9310BB6991","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e6023a6adadac28f3a87984441af8fc2b82324f3","datavalue":{"value":"6034121","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2883801$BFF8B529-4ECE-40A7-A344-8F7CF35510E6","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":"Q2883801$17689029-9864-4E76-8122-9CB11ABD19EE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f8bfbc414596d3955ee01b349f715df31298f61e","datavalue":{"value":"https://doi.org/10.1145/1576702.1576714","type":"string"},"datatype":"url"},"type":"statement","id":"Q2883801$BE62744D-A22F-41C4-9D38-AB3B15147E6C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"979e0315d4b5f2d57eb9568c2b7d8b73ee03d619","datavalue":{"value":"W2086775493","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2883801$D95FC950-924A-401A-8503-30BC9820623E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a8502bf9252c8e32a24a3919eb7dd5a42abcc31d","datavalue":{"value":{"entity-type":"item","numeric-id":420752,"id":"Q420752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"13e329e7e8ff9c42db68bdabec079ce2d66f6c72","datavalue":{"value":{"amount":"+0.90435845","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2883801$A17697DE-752C-47A7-9C34-8B9F1033A67A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf598b9cb09e6bf59553e3e9d849dacb0826eb9f","datavalue":{"value":{"entity-type":"item","numeric-id":4787197,"id":"Q4787197"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"97fb41dae9d822ab46ed719270f04c7959ff3fb9","datavalue":{"value":{"amount":"+0.8384642","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2883801$37757010-0D48-4A3D-B126-B9D358A715AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"91556af65fefde1e91ea947aa73ef40eeaaea2d0","datavalue":{"value":{"entity-type":"item","numeric-id":6058250,"id":"Q6058250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"32859ec8fc7b75c2cac9022e0c2f92dd9560fbf3","datavalue":{"value":{"amount":"+0.8358977","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2883801$95E7980A-BBB4-4DA3-BFF0-251DBA68E70F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6372821666016444a43a9b669c6b47ba857762ed","datavalue":{"value":{"entity-type":"item","numeric-id":4947851,"id":"Q4947851"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e87237f9c5f3eb7ec923b37909a85248c6e7729b","datavalue":{"value":{"amount":"+0.8353791","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2883801$56D76ACB-EA78-432B-A0F9-39EA839E03CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"84776a8fd6924f38916337bba931c20d740a647c","datavalue":{"value":{"entity-type":"item","numeric-id":5187860,"id":"Q5187860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b5f75d623cc9a99fbf196b6f849dc5c03274ae11","datavalue":{"value":{"amount":"+0.8318378","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2883801$66101FD2-1CBD-4FB4-8DFE-68C17CFCE449","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"43c75afe9048b90d96d419aafcc8f618e7a8d0d9","datavalue":{"value":{"entity-type":"item","numeric-id":1334905,"id":"Q1334905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dc16783ccb17c63bf47b203e7cf1c90c7a5acc89","datavalue":{"value":{"amount":"+0.8282137","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2883801$1B68D07D-A7DA-4681-8686-1FD45E07DDBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"20732ff3132c7eb9022c73c35289fb8a9301b5f0","datavalue":{"value":{"entity-type":"item","numeric-id":1971592,"id":"Q1971592"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"62754ac697f670fc2fd1962c453a1ff88f838627","datavalue":{"value":{"amount":"+0.8268738","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2883801$18ACDB4B-6321-48E3-B20A-0F62C7C4402F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a97db487cd126357fe0943ffd694a4f90b357f93","datavalue":{"value":{"entity-type":"item","numeric-id":2430985,"id":"Q2430985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b6528605d1471979ecff3d9f7f048bc3bf6337ef","datavalue":{"value":{"amount":"+0.825523","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2883801$8048A226-8E79-4B04-80CB-5B9F61EF39B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e3d8f39f42455f6c1e4eb3ef3c81673d50b47d56","datavalue":{"value":{"entity-type":"item","numeric-id":2970775,"id":"Q2970775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1997540ba54c50896a8faca11dc04152828b2352","datavalue":{"value":{"amount":"+0.8243386","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2883801$B25FC277-69EE-4DD3-AC7B-55D024F2D202","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"54c43b5d738dc075c438be933bb05bb4538b4335","datavalue":{"value":{"entity-type":"item","numeric-id":1407576,"id":"Q1407576"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"17c60b3e3d81dc5b37cd85acfa320cad160e085a","datavalue":{"value":{"amount":"+0.82385623","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2883801$F0B8FAFB-08EE-450E-B0FD-454240848A3B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Fast simplifications for Tarski formulas","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Fast_simplifications_for_Tarski_formulas"}}}}}