{"entities":{"Q1140434":{"pageid":1151183,"ns":120,"title":"Item:Q1140434","lastrevid":42909557,"modified":"2025-07-15T22:48:42Z","type":"item","id":"Q1140434","labels":{"en":{"language":"en","value":"A logic for default reasoning"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3679213"}},"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":"Q1140434$3E42D919-54E7-4485-BD4B-43FA98124150","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9d26a467d787f9038f8202615d3c78103bca9875","datavalue":{"value":{"text":"A logic for default reasoning","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1140434$F7F84F89-E7C4-4EC9-9672-C4735F86D8A2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1a2fa18d7ac91fcb7acebcf4a9003ed4fb8deb3a","datavalue":{"value":"0435.68069","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1140434$84AEBFC8-3D58-4054-B575-E312E07FB45A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9896aa8e312c7b7aef39f8dd0ebef6e52d51b288","datavalue":{"value":"10.1016/0004-3702(80)90014-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1140434$EB8CE27B-9808-456B-BA11-A0C3D45D714B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"aedf720352fcca932fab3523c4bbcafd7c4c7cdb","datavalue":{"value":{"entity-type":"item","numeric-id":1104176,"id":"Q1104176"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1140434$E86D64C2-A2A2-4FC5-BAB7-2C160ABBAEBF","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":"Q1140434$4A2117CE-8835-4600-A5B5-9A55765699E6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"56afe75e154439409929c71e0e459d1542811b6e","datavalue":{"value":{"time":"+1980-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1140434$16F476FF-6E8B-4D1B-A0B8-F9A992873EFA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"85991e41d5921c9f733fe99d088c198a921df086","datavalue":{"value":"68T99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1140434$E0B58F35-9F48-4C72-97C7-168909EA2244","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1140434$654ECE00-F73F-4A37-B8C9-91F68BFA1F91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"89a6721807d2106ad3a18783b4fcbc004e6a56c5","datavalue":{"value":"03B60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1140434$CBFB8BB0-F31D-4716-9675-AC0A0FC53313","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1140434$37288443-8871-4497-A9D2-7C7D95B141D1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e31980459739777d9e48bd7475b94c23845af0a7","datavalue":{"value":"3679213","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1140434$2EDF8BC4-153E-449A-BD06-EBC303ED1C1F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"03b156a57a7ef014d19714251f209962d0108935","datavalue":{"value":"logic for default reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q1140434$28C2C0A2-4C1E-4F86-AE3E-6CD49D79FEB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22c4e6588d8801d5d2a6e89f3733b3c8170e2830","datavalue":{"value":"incompletely specified worlds","type":"string"},"datatype":"string"},"type":"statement","id":"Q1140434$0501E1C2-235B-4FCD-A9B2-232D694172DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a7f9bb6a1ad6a3a971ba5f25cbe5d6f601616f","datavalue":{"value":"top down resolution theorem prover","type":"string"},"datatype":"string"},"type":"statement","id":"Q1140434$0D4B9312-074D-4042-907A-28AA557DA5DD","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":"Q1140434$C7065F4D-840D-4F6C-BB77-E6FABB90F312","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"79a047ee8e22528258309cc35ffbe19d8c0b0f0b","datavalue":{"value":"https://doi.org/10.1016/0004-3702(80)90014-4","type":"string"},"datatype":"url"},"type":"statement","id":"Q1140434$69806613-65B7-4DE0-8B38-F763CF0707E0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"980cf8cfd32701d13bcc02a88bceb91d5a19d759","datavalue":{"value":"W2155322595","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1140434$9F216AA6-FD64-44C4-A7F6-A5DC1FCA58BF","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"1e2f701e15a70c2c6369f73a7dedcff47147e662","datavalue":{"value":"Q56048230","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1140434$554D570C-8A9D-4DB7-95E0-9F2CA395789F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"74f1d4a40112fa851b77383a8bc22e972e45537a","datavalue":{"value":{"entity-type":"item","numeric-id":4136542,"id":"Q4136542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1140434$7E8E2054-09CC-448D-9104-4AB064C45EDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a45ed88c84c30a799c478233e266ce605894b324","datavalue":{"value":{"entity-type":"item","numeric-id":4133168,"id":"Q4133168"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1140434$A9C45384-CB03-4BA5-B4F8-C73FDAB83A52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d9a872690aae65aa8cbfced9522c07629e0a8e21","datavalue":{"value":{"entity-type":"item","numeric-id":3862380,"id":"Q3862380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1140434$50CDFC7C-8491-4BEE-A2A9-AF2D431A24B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2dbf5d4c6cedd5848e03816494729378cde53a8e","datavalue":{"value":{"entity-type":"item","numeric-id":2551698,"id":"Q2551698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1140434$3566B22D-83F9-47AA-B6C1-B48D4FEB5BCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"08067296a778be982332271922f05534568e2cf4","datavalue":{"value":{"entity-type":"item","numeric-id":5600875,"id":"Q5600875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1140434$15D8760F-72EA-4266-9EF8-B67B0BBFAE4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e7cc6b50da59d61e4104676cfaa2ed0a6b850865","datavalue":{"value":{"entity-type":"item","numeric-id":5619635,"id":"Q5619635"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1140434$6580FE8E-4F23-4275-B300-267F820E957C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"73d763c7e8290a5cd6e50548716b378f22c4aa37","datavalue":{"value":{"entity-type":"item","numeric-id":2547494,"id":"Q2547494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1140434$5AF8C4E2-1CCB-4195-9277-BEF95BEB3F40","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":"Q1140434$6D0E0262-6362-45C0-991A-7ADA75F93705","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c0741f5c18946e57297707854a1f296f47dce25","datavalue":{"value":{"entity-type":"item","numeric-id":5626300,"id":"Q5626300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1140434$2B2F3CF5-4364-4EE0-902A-3D8A95C2FB7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de81e13d51cff72cceb779e9905964fd69fcb527","datavalue":{"value":{"entity-type":"item","numeric-id":5649439,"id":"Q5649439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1140434$B382231A-21E2-42B1-A3C1-D32F760F2BFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"01d6649d4853baff3b254e51c9979c2133405503","datavalue":{"value":{"entity-type":"item","numeric-id":1140434,"id":"Q1140434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1140434$24AFC4EF-3106-40D7-9E36-2D22300A6839","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f62ebef9379ad97d2bdc3c2e7f5717f221d056cb","datavalue":{"value":{"entity-type":"item","numeric-id":5514129,"id":"Q5514129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1140434$4ED17A1A-E0D2-4493-813F-7AB44AF68391","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":"Q1140434$C71C4B9C-05C3-412D-AABF-61D4A648AF6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bcec47888e673877bf96f2ca40f1c8a0d1693c57","datavalue":{"value":{"entity-type":"item","numeric-id":5663383,"id":"Q5663383"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1140434$38480B20-4AB4-437D-9027-FA7717DC8D42","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1140434","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1140434"}}}}}