{"entities":{"Q4032879":{"pageid":6062613,"ns":120,"title":"Item:Q4032879","lastrevid":55230616,"modified":"2026-02-05T02:33:52Z","type":"item","id":"Q4032879","labels":{"en":{"language":"en","value":"What is an inference rule?"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 150245"}},"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":"Q4032879$1577653A-2045-4910-9E29-1853481A592F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"34d9c5777348544a532a52cc5317adb3a90ff803","datavalue":{"value":{"text":"What is an inference rule?","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4032879$F0F3CFE4-DCB5-4531-AB82-EDDC6A179F43","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7569a6cd50e313699078f0faaa3159b7f1c74dc4","datavalue":{"value":"0761.03010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4032879$72E4B7B0-3E33-4942-BD6C-7ECC07EAB26C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3fcead992e9289fe5157496f51b260f2263a2409","datavalue":{"value":"10.2307/2275447","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4032879$8D5CCFE6-5E3B-4D3C-BDC7-60A97E890CCB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"501919793d5a7682fe5d33dabd63127f0c90af27","datavalue":{"value":{"entity-type":"item","numeric-id":388219,"id":"Q388219"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4032879$053B14B9-7771-4885-B04E-0747891B4EAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ddea5ba0eeb9138fb9e2a8de5e2cddb8c80bf84a","datavalue":{"value":{"entity-type":"item","numeric-id":272148,"id":"Q272148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4032879$0985D7DD-7ED4-485E-960B-E421D338EDC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ce87cbb6ded942a7df2b71cd7e21808de8efe775","datavalue":{"value":{"entity-type":"item","numeric-id":208771,"id":"Q208771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4032879$6C23A82E-6989-4BCE-BE49-59CAE8D754DA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6218d42f0175ef35f91c4900eb5db86484a9463d","datavalue":{"value":{"entity-type":"item","numeric-id":2710590,"id":"Q2710590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4032879$AF057AE0-9A0C-4CFD-A20E-18620337ADD2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8604b2a4c08e4f5e10819826d060da1f7baa01ac","datavalue":{"value":{"time":"+1993-04-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4032879$EFB17A07-D4EE-45C1-9926-E1124A1DD2AF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"89a6721807d2106ad3a18783b4fcbc004e6a56c5","datavalue":{"value":"03B60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4032879$423C33B1-AB99-49F3-AF54-DE72262D7C7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4032879$FAD93791-40F3-4D73-AE4D-CE08567A610C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6e2ae8b1900147d15ddea62ccb5302a15ee19b5d","datavalue":{"value":"03F07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4032879$940DC2AB-B040-4282-A3E4-D8E4C572E643","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4032879$C3D6F893-B233-4747-96DE-CCAB96A6EC59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4032879$13F00A7B-7309-4D7B-B9B7-7093835CB8D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"419d6f2b09c39920e34f63114ff159a2f0a01812","datavalue":{"value":"03B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4032879$D148C90F-2214-47B4-AE0D-8D39BA144F47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c06e0874e30722381d620ef69fb36c407a01cb04","datavalue":{"value":"03B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4032879$C90FB0EC-EEF9-4767-B25A-103E082F75DD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d3b164355045153619a1c41c515ee440074e896b","datavalue":{"value":"150245","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4032879$040B010C-F58E-4E72-8CDB-40479036A969","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"203383f5640e2b7ae9ac255db7b9410f9f3dc7ba","datavalue":{"value":"admissible rules","type":"string"},"datatype":"string"},"type":"statement","id":"Q4032879$1F5883DF-D9CA-4F5A-AE12-91F1884B985B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4032879$CD58B8CF-6C56-4A3C-894A-AD361E6E16CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8e47cf07283d914de9aa14630b1429d1d2952beb","datavalue":{"value":"derivable rules","type":"string"},"datatype":"string"},"type":"statement","id":"Q4032879$11FDCD6F-4C55-413A-A984-F7D174EBF2AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b57c832f4b21b0ae9151495d8a971f39ac6c1824","datavalue":{"value":"validity","type":"string"},"datatype":"string"},"type":"statement","id":"Q4032879$BAE4DA57-6EEF-4986-BA28-474448110790","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"17ac6cf000adf98729fcfda9d128ceb0b5f21df7","datavalue":{"value":"PSPACE- complete","type":"string"},"datatype":"string"},"type":"statement","id":"Q4032879$579A19CE-7F37-4656-B5AE-32A7A4EFDD63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ff2294744776a0d8b764449f5e9944ea2ca2c871","datavalue":{"value":"EXPTIME-complete","type":"string"},"datatype":"string"},"type":"statement","id":"Q4032879$66269E74-ED70-48B6-80F5-3018C7CE6737","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"69c73b4dfc0427979554d1aca095ddd271434f90","datavalue":{"value":"admissibility","type":"string"},"datatype":"string"},"type":"statement","id":"Q4032879$3501C66E-402B-4999-AF90-57CD82D62504","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"af39a266514b93de014abd56b6dc56b5b3c58894","datavalue":{"value":"structure inference","type":"string"},"datatype":"string"},"type":"statement","id":"Q4032879$34B1E20B-B95A-486C-92F5-3625EC30832A","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":"Q4032879$F187BDB5-20DE-4F6F-9669-5B6E93D7C431","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0f9bf186860279eeea4ef1e140e54e7ccadc6163","datavalue":{"value":"https://doi.org/10.2307/2275447","type":"string"},"datatype":"url"},"type":"statement","id":"Q4032879$DEA77C27-3E50-4D37-990A-5508DEE17E50","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"77e4f842c9f8c0584a3655ff82e1d763d05c344e","datavalue":{"value":"W2074585109","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4032879$52B91A47-9EEC-44C9-BD3D-E64DCC9C1A5F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"eaf7f78c31f53dc43160af181bcdee008cee1d7a","datavalue":{"value":{"entity-type":"item","numeric-id":5275735,"id":"Q5275735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4032879$BC989EE7-C8F9-4914-885E-2844FE207A7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9635365b0780328d7ae22bc69b462e7144999d03","datavalue":{"value":{"entity-type":"item","numeric-id":5573961,"id":"Q5573961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4032879$B4BADFD0-836B-4A2B-9AD7-B4217B9197D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"70c434b6534caa8d7aae026f7b80e8e45e51931c","datavalue":{"value":{"entity-type":"item","numeric-id":809992,"id":"Q809992"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4032879$A81057FC-F0D3-419D-803A-7C1794EE2333","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"736a1d463d18d2f300e2b9600c3f86eae2986ef8","datavalue":{"value":{"entity-type":"item","numeric-id":2537313,"id":"Q2537313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4032879$9F48F0AB-2AED-47A7-87F5-B17FF5870A23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9bf7b60ffa69e85b236a52322720f62f3667ee9","datavalue":{"value":{"entity-type":"item","numeric-id":920971,"id":"Q920971"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4032879$2D2709D5-6440-4523-B07A-FCC13E439AFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a4dd0f84f959c7f43a09219fed18cac99e23092e","datavalue":{"value":{"entity-type":"item","numeric-id":805609,"id":"Q805609"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4032879$F3E2D61B-C002-4362-AFB1-C2F7CC5B04C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0bea75da9fa67a5f77faa9362cd4aa6c737c792a","datavalue":{"value":{"entity-type":"item","numeric-id":4194955,"id":"Q4194955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4032879$86927AA8-C2D2-4148-8632-E2C30F2094EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce39cadbd932920cdfdc52694ab4b404d2310a81","datavalue":{"value":{"entity-type":"item","numeric-id":3762284,"id":"Q3762284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4032879$8F0B75BD-4882-4BCA-BE24-7A5A037C156C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"870c5f10c9e5dd7ce7bfd0436cabe142c0a50802","datavalue":{"value":{"entity-type":"item","numeric-id":4726223,"id":"Q4726223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4032879$42CD29E3-8B86-4CDE-BECD-413374A2A5A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21f66774e18bf6d9e857072576d53e1307dde765","datavalue":{"value":{"entity-type":"item","numeric-id":4149442,"id":"Q4149442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4032879$2B8ED63B-96CA-489D-A314-7E2E82254FC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e8261e58a12119ae17be8431dce68f8e58905899","datavalue":{"value":{"entity-type":"item","numeric-id":3026978,"id":"Q3026978"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4032879$888EA493-8D70-41EB-A5F6-603A27FC3BAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ab902ddeb2f8a8f0173fabbd83857fb0e0140ce7","datavalue":{"value":{"entity-type":"item","numeric-id":3208615,"id":"Q3208615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4032879$DCEC34B1-462D-4358-B7F3-096A2B364DD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"feba6e04bd8121c53caebbcc1df28f8e1ebc0c97","datavalue":{"value":{"entity-type":"item","numeric-id":1245932,"id":"Q1245932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4032879$1C7AA5AA-4795-4418-8A81-B2CB6C543A70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5dfbc538077da75d332fb528c12551a8b230f68","datavalue":{"value":{"entity-type":"item","numeric-id":1148885,"id":"Q1148885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4032879$7D523259-3B7E-4CB0-B453-30B83BA4A7E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0aed37bf404ae92b30e992c284e7f49a8678057a","datavalue":{"value":{"entity-type":"item","numeric-id":4077979,"id":"Q4077979"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4032879$804EB0C5-9793-4C2C-99CD-C6D63B79FD0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47c57a1bc98a9d819c8c4b25347f0c45d96256b1","datavalue":{"value":{"entity-type":"item","numeric-id":1258296,"id":"Q1258296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4032879$3A707890-039D-49A1-9B84-EBFB5572BC3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"731742f01359ac7e84bcc80e92e7feea7820ff3b","datavalue":{"value":{"entity-type":"item","numeric-id":4087146,"id":"Q4087146"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4032879$EA3DCC2F-E8D0-4B25-97C3-4CAC76380EF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91e1d10e0c77de9812f317b0ff0d8727dd2dd83c","datavalue":{"value":{"entity-type":"item","numeric-id":3781088,"id":"Q3781088"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4032879$6F399348-6695-4805-9C94-72418D3B3B6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7ac3d7ec2b15acefd0efec27878eb9b4d230b02","datavalue":{"value":{"entity-type":"item","numeric-id":3867808,"id":"Q3867808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4032879$CBF018A2-102B-4BB2-9471-47E73236DA03","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"92fc9c9e8e5322e5fd038edc77c8c05eb00f78e3","datavalue":{"value":{"entity-type":"item","numeric-id":868660,"id":"Q868660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6a96c0606bb985ec64793e55859dfb05fee1bb14","datavalue":{"value":{"amount":"+0.7512103915214539","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":"Q4032879$F0FA0FFC-9B66-45AC-AE1F-FE666D39BB86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cd345411df62d8e91bfa2fdb3b7ac46555caaa2c","datavalue":{"value":{"entity-type":"item","numeric-id":2501166,"id":"Q2501166"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"30b7eed9caacd670d20c05c38d049d3f2ddcf631","datavalue":{"value":{"amount":"+0.7464344501495361","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":"Q4032879$B1729557-2961-4D1E-8675-299D28E9AF6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"980115639711bb7eb092310c36654db5fea07f5f","datavalue":{"value":{"entity-type":"item","numeric-id":431693,"id":"Q431693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"12d030752b3535cd0188802a5aa88c4326dc8d44","datavalue":{"value":{"amount":"+0.7460665702819824","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":"Q4032879$9E88D415-1533-4508-9D1E-637700447227","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fe8b78e8bf15f7419c31a55f9885fdaf6f076ebc","datavalue":{"value":{"entity-type":"item","numeric-id":2915017,"id":"Q2915017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a30f33d6299578fb83feffdb896c2e8383e95eed","datavalue":{"value":{"amount":"+0.7447953224182129","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":"Q4032879$A4117781-8408-4770-B912-111F947F3C17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e4f9775f7f7f049dc1c8df5068f5f43c93b3e800","datavalue":{"value":{"entity-type":"item","numeric-id":266650,"id":"Q266650"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b24a6cbee1ff7d5e5ef0d3f08c3a53ae1035b19d","datavalue":{"value":{"amount":"+0.739404559135437","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":"Q4032879$D29DE969-744B-42A3-B8AE-60C13D7808D7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4032879","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4032879"}}}}}