{"entities":{"Q543591":{"pageid":545358,"ns":120,"title":"Item:Q543591","lastrevid":62630073,"modified":"2026-04-11T07:23:05Z","type":"item","id":"Q543591","labels":{"en":{"language":"en","value":"First-order logical filtering"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5909440"}},"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":"Q543591$A242DFCF-CEA3-477E-B736-106FB007DB30","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6b73d4d105a31b6747ce08ca275e93dc5f409d39","datavalue":{"value":{"text":"First-order logical filtering","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q543591$72577C62-B215-4650-B4DB-CF6B1CDBD7EF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7403d0826fde5f8364eb8edd8b4d796af35a1908","datavalue":{"value":"1216.68276","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q543591$80A2226A-4296-412A-8848-B243407760F6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d04befa98d9dbc7dec07b6406268e539c849eb86","datavalue":{"value":{"entity-type":"item","numeric-id":543589,"id":"Q543589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q543591$D253921F-331E-4C98-9739-1344B3F50C3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"be8270aeff3b090524a336c3cfc48f20d7a08fb3","datavalue":{"value":{"entity-type":"item","numeric-id":543590,"id":"Q543590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q543591$D231A2D8-AFD8-4660-957C-6B0D3BF00EC1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"984e6510ec40a363d20e607cce2cc2f8b07918ae","datavalue":{"value":{"entity-type":"item","numeric-id":72340,"id":"Q72340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q543591$3347E803-58B0-4CC3-821D-CB6FC1235333","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b7c5acb12eb16cd36e6bd9603815f2e919f7d5ec","datavalue":{"value":{"time":"+2011-06-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q543591$5A832D13-BE93-4781-BAE1-E48E2E98813A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q543591$B00F549A-7FBB-49FC-A5F3-EEC620E7D322","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"87d3a7eea335dd3641393970c2cc5d5432fc7cae","datavalue":{"value":"5909440","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q543591$8E83D91B-4531-4D1C-9128-1CCD9D73CCD4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9d21ec545fb33c97c8e47c301264a2ba6289ddbf","datavalue":{"value":"filtering","type":"string"},"datatype":"string"},"type":"statement","id":"Q543591$F862C26D-8A15-4098-BDC7-9B96EF29BE5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e2e80a7123e4ea6d0418cb24d37b1837f13e3514","datavalue":{"value":"first-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q543591$ADCBDC39-AC6C-4E4C-BFD9-11EAC6444A46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5e8ac3e50caa0bde63a0eb58909bf07c5e5e934e","datavalue":{"value":"belief update","type":"string"},"datatype":"string"},"type":"statement","id":"Q543591$CA229140-FA6A-4612-ACE2-0088FB0906CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"755a933adb167e01eae33695d067a9b3b5cd353c","datavalue":{"value":"situation calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q543591$362E806A-BF7D-4F9C-B285-BA439EA1ACF5","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":"Q543591$A29B4244-A1DD-41E4-AC14-9C57C8E3C414","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7bb7e7421b740ad229514cf741e392bc562723b8","datavalue":{"value":"https://doi.org/10.1016/j.artint.2010.04.015","type":"string"},"datatype":"url"},"type":"statement","id":"Q543591$A4F998E4-818B-48B8-BA4E-867A526B1E24","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"be61b68bd818d789c0a890a322dc40ddb71b32f3","datavalue":{"value":"W2064464798","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q543591$CA709212-C3D9-4AE5-AA0F-BB4B4A2708BE","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"99f8687100fa6bae83bb282653a43b8d79520aac","datavalue":{"value":{"entity-type":"item","numeric-id":3624166,"id":"Q3624166"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q543591$B1F534FA-DE6B-4D0E-B0F8-4855F56046D0","rank":"normal"},{"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":"Q543591$F103B1EC-77FF-492C-A5CD-EC9852A29FB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4857cc5ab7fb59cef1eb311cfec5a2dbfbb73dc0","datavalue":{"value":{"entity-type":"item","numeric-id":2753663,"id":"Q2753663"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q543591$0BF4A879-AE43-4320-84EB-96C7F5F71E1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"92dd2b8a5ae353a4b443d2bab5e714da3a1ce8d2","datavalue":{"value":{"entity-type":"item","numeric-id":4800330,"id":"Q4800330"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q543591$4B3FD0E5-6289-45B2-8B37-29684D06FBDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6fb10921ba059dc9bfd0156ebf043213aadebc89","datavalue":{"value":{"entity-type":"item","numeric-id":1978467,"id":"Q1978467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q543591$AC3A9435-2EB0-4674-911D-A02DBE2E989D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9cdaa2ec8eceac1d3a0c164dd76be4ed6c68bc4d","datavalue":{"value":{"entity-type":"item","numeric-id":5946344,"id":"Q5946344"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q543591$299FAA8B-7F65-49A2-8934-0C2FA981F911","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f6ae5dfaa8ef10591a22305a87238d1d291b64c","datavalue":{"value":{"entity-type":"item","numeric-id":4736484,"id":"Q4736484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q543591$DF3CB5F7-EC79-4E9E-8924-77D882D0F46F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"514b41a8388ca8759f3242cc29a333cc3c9c1e02","datavalue":{"value":{"entity-type":"item","numeric-id":699443,"id":"Q699443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q543591$CD2A9104-265E-433E-87B2-ED7B3BCC8712","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c7107271d2f1fa14d9fff182e395c60401f7d78a","datavalue":{"value":{"entity-type":"item","numeric-id":2734599,"id":"Q2734599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q543591$4265A368-7000-486A-A0C4-1F23C44B0731","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fdd793e3cc41e1cfdd728dd923578990c02b6660","datavalue":{"value":{"entity-type":"item","numeric-id":1199919,"id":"Q1199919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q543591$137DA132-031E-4D67-9CA5-2EB278F7AD7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e781fdea2647f00853ce569121c3b18afd214405","datavalue":{"value":{"entity-type":"item","numeric-id":1380864,"id":"Q1380864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q543591$ADC5BA08-FB7B-45FA-886B-0729E66EE32F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2945ea287873d596ef56cb63afc569a7e1559fcc","datavalue":{"value":{"entity-type":"item","numeric-id":3201783,"id":"Q3201783"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q543591$06933E2C-BCA2-4F60-ADF7-96B4E9E51B47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"214e7a2967f9c987987cdb6e240f812184f64a87","datavalue":{"value":{"entity-type":"item","numeric-id":4012234,"id":"Q4012234"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q543591$894BD942-5BAC-4567-AA3D-F673C1481361","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"245ac41acdf9f62c4ed8a7dae4d7d27f94ac3218","datavalue":{"value":{"entity-type":"item","numeric-id":4037628,"id":"Q4037628"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q543591$31549D62-6268-40EA-9117-4E7B2EAECE94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a82c068532b1850351674907dddff2e1ed0af697","datavalue":{"value":{"entity-type":"item","numeric-id":4536337,"id":"Q4536337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q543591$12FCD14F-1531-4257-B9B7-BFE4B91A36BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"02a544e9f07adf34d30eb3f091874b5b0166f7df","datavalue":{"value":{"entity-type":"item","numeric-id":4316298,"id":"Q4316298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q543591$D562D343-5312-4A46-94D4-90571E8A2578","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0fd47987217bd889828e760fd7d9ac44edceb361","datavalue":{"value":{"entity-type":"item","numeric-id":1402735,"id":"Q1402735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q543591$7D423341-ED0C-4F3C-AA6B-626FA570553B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c0adac46a0ba5a2e3f723f4b59c4c5f4e4e75a4b","datavalue":{"value":{"entity-type":"item","numeric-id":1154415,"id":"Q1154415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q543591$B389B7F7-9D25-48AA-8D10-ABEF15B2533A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"727e4fcb174852dbf7f8d1745be850a52bb6ad4b","datavalue":{"value":{"entity-type":"item","numeric-id":5633670,"id":"Q5633670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q543591$F6B5A06D-5F89-48E3-AD53-00AB90658C0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b06f71089d246112f8de1019b27493713b5d5b71","datavalue":{"value":{"entity-type":"item","numeric-id":4934648,"id":"Q4934648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q543591$5532A8D2-9D3D-4BC7-8C84-F47623454E21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d58245da881f3cdb86d99b65a47aa10bf7772d3","datavalue":{"value":{"entity-type":"item","numeric-id":4016561,"id":"Q4016561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q543591$6381DC4A-1318-45D6-8F79-BF0CFC0CF8A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8da67a78ed9b694ac72ccc690d475182cfa64e9","datavalue":{"value":{"entity-type":"item","numeric-id":1313962,"id":"Q1313962"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q543591$1F2C3BEB-91A4-4898-8877-939978D1061F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"373b09c1ad3afc09fbc8a8a75ccfb9ce5433773d","datavalue":{"value":{"entity-type":"item","numeric-id":4779807,"id":"Q4779807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q543591$CF11C00A-0A9D-40A3-A1B2-396A5BB2DDBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6855aae6da9b1bce4bfb438a45a6912361ee00e8","datavalue":{"value":{"entity-type":"item","numeric-id":543588,"id":"Q543588"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q543591$EBD716EB-B929-461E-895E-EBBB6CA1D189","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"72fe1800e29d45c46ea4515dd8f715f100428667","datavalue":{"value":{"entity-type":"item","numeric-id":543591,"id":"Q543591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q543591$8B036733-B541-4583-8D4F-487D9FD7E48F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8319ea01913631b33d4deb6f521e1d332e592c27","datavalue":{"value":{"entity-type":"item","numeric-id":5596256,"id":"Q5596256"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q543591$B998A188-13ED-4953-9966-9E3415D0D81D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"989f7bf6943254275f5b5f1e546a53c901468e44","datavalue":{"value":{"entity-type":"item","numeric-id":1606307,"id":"Q1606307"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q543591$9631B08F-18BD-4DA9-8145-B892B2D76EFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"487e3ff8d7c32bd85712c54329bb309131eac84c","datavalue":{"value":{"entity-type":"item","numeric-id":5696596,"id":"Q5696596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q543591$4CC7CDC1-E99E-4306-BF72-166DCFADDA6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98c35621b2ed5ed557d15acc7529d8ec02f18cc9","datavalue":{"value":{"entity-type":"item","numeric-id":3995235,"id":"Q3995235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q543591$532024C6-8EAD-434D-85A9-17CEF593C981","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"95b408258a578eca17418e1758d99e7ae3ade205","datavalue":{"value":"10.1016/J.ARTINT.2010.04.015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q543591$6911AAD1-428A-4A68-89A1-6286CE0104A6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dc8310effb216b0555e155e737967aca724f0267","datavalue":{"value":{"entity-type":"item","numeric-id":4287505,"id":"Q4287505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2dbce57ea93038d41d9acb467ce6515ee759e7d2","datavalue":{"value":{"amount":"+0.7299038767814636","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":"Q543591$FA2A102B-A835-4A97-AB2C-03E0BDCAA958","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"29654d6a949d285b3ce48469934b9da7ebe988af","datavalue":{"value":{"entity-type":"item","numeric-id":4576251,"id":"Q4576251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"65542f6d9e44efa7d1ea6777bad68023ef7a1eb4","datavalue":{"value":{"amount":"+0.7264861464500427","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":"Q543591$75D29D75-B68B-4DB1-993A-E43AA5B6BBE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a42e93314fd6a2d13d7f7e15c45f20d33a7858ab","datavalue":{"value":{"entity-type":"item","numeric-id":2630824,"id":"Q2630824"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7dc768921c03df42547a766f9dd2ccf149defc6c","datavalue":{"value":{"amount":"+0.7063337564468384","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":"Q543591$B0BC9FEE-ACA7-42C0-A1FA-2173D26712AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"38d322f1ef8e2bb800123c90bd204f122a79d397","datavalue":{"value":{"entity-type":"item","numeric-id":1343837,"id":"Q1343837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5becb9f6a0eb4a550f485c2d3a711df53d621328","datavalue":{"value":{"amount":"+0.7030946612358093","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":"Q543591$BD8591D3-D7E2-409E-8786-9B3D946B09D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"86683169a615734570e3fe08dbec321ddb65c0c7","datavalue":{"value":{"entity-type":"item","numeric-id":5139603,"id":"Q5139603"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4890f028b780449113f84a9b85ee80e05a7bb72b","datavalue":{"value":{"amount":"+0.6987394690513611","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":"Q543591$56736849-3429-43A0-B7DF-137D02667DCA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"First-order logical filtering","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/First-order_logical_filtering"}}}}}