{"entities":{"Q6587922":{"pageid":14199079,"ns":120,"title":"Item:Q6587922","lastrevid":55727626,"modified":"2026-02-17T21:47:19Z","type":"item","id":"Q6587922","labels":{"en":{"language":"en","value":"Representing nonmonotonic inference based on c-representations as an SMT problem"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7897227"}},"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":"Q6587922$37D35B03-FCA6-427F-B676-D593270DFD2C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5ca4589a5489856a56e3bc08f2f5b8aea3445e3a","datavalue":{"value":{"text":"Representing nonmonotonic inference based on c-representations as an SMT problem","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6587922$E098516D-5168-42C7-BAD3-34AB12ED46F0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"39fa4d1555c7675611ae6777badd3e00d1e8f313","datavalue":{"value":"10.1007/978-3-031-45608-4_17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6587922$BDB9BB1E-3A12-4A8C-BC97-237080B5B883","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0e2959dbf51fb8d7b05ae90b16752986fb0ddca1","datavalue":{"value":{"entity-type":"item","numeric-id":2055778,"id":"Q2055778"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6587922$75051928-D7BE-4324-BC53-A813A30ED979","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8d05811e153aaae141000d9a68d7425584cc2e99","datavalue":{"value":{"entity-type":"item","numeric-id":6587921,"id":"Q6587921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6587922$0BD29375-9045-4B92-B9AB-F2B3DD05F78F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b1e134f54b434e40b1183bdd73e513d092e96978","datavalue":{"value":{"entity-type":"item","numeric-id":513342,"id":"Q513342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6587922$CAFEDB1D-AD31-4225-84F7-54BFCCC70D03","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4c5bff37f7f9c7ee2e9efb4be809422c70dc245d","datavalue":{"value":{"time":"+2024-08-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6587922$E2C1515B-F2F7-4EB5-9B0C-949CADA49C65","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1f66a3c6f6c4263d812ea49e5394cac6ea83ef9b","datavalue":{"value":"68T37","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6587922$08C38EDC-A225-4050-AD7A-771EE55213D3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1b10f3cb1792ece486dc8766405e406e554cf37b","datavalue":{"value":"7897227","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6587922$A3066D97-13F6-4DA3-873E-B498054B91A5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3749d587b284fb2e5708bf249f54a60a313db614","datavalue":{"value":"conditional","type":"string"},"datatype":"string"},"type":"statement","id":"Q6587922$6C1AFD2D-FA07-4A1D-B9FA-2BD54546FE40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fabfa5d3951b6c64f2f74b5ce3b442c52df595a6","datavalue":{"value":"conditional knowledge base","type":"string"},"datatype":"string"},"type":"statement","id":"Q6587922$CE1A5BFB-92F6-4869-BD55-B828B5481018","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"17bf62fd635a1bd944fb40cb8b3e8e9bb02ed755","datavalue":{"value":"c-representation","type":"string"},"datatype":"string"},"type":"statement","id":"Q6587922$C28E235B-F897-4AEB-99FA-16F62E417EF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"92cd65b385817742dbf67b739d928988b3931122","datavalue":{"value":"c-inference","type":"string"},"datatype":"string"},"type":"statement","id":"Q6587922$F68B2EA3-5F6B-4736-ABAF-AD7C84C422D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1254a7c01d2970b87da2854c1fde40c268a1f55d","datavalue":{"value":"satisfiability modulo theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q6587922$0120673C-9F7F-480C-93E6-0CFCFBB1BF56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d6b4e8a8900ac4542b1543543638272f2469fd4c","datavalue":{"value":"SMT with linear arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6587922$D11C8288-3152-406B-B2AF-0BEBD9C0124C","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":"Q6587922$BA80D272-35DF-4D39-9167-F4E658B2A212","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e7385f2cd7c0404a24668efe1fdbc2cf5bc333f3","datavalue":{"value":{"entity-type":"item","numeric-id":1224565,"id":"Q1224565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6587922$A376926B-8BC5-49B4-8D12-36E93A8B11BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce0b6279069cbb32655094f0652d69aeb8f868a4","datavalue":{"value":{"entity-type":"item","numeric-id":2807072,"id":"Q2807072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6587922$FF89489D-C1AB-4C74-9803-BE10AA6647BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8081130dac5c55ce62c191e8485dc6959afe4303","datavalue":{"value":{"entity-type":"item","numeric-id":1783735,"id":"Q1783735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6587922$59FFF585-46F2-4EFA-8B62-FE3D3841C5BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aced7b9fe5403adb0f6b169cf408a44dfa9629f1","datavalue":{"value":{"entity-type":"item","numeric-id":2238598,"id":"Q2238598"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6587922$07682F03-1E18-4F98-B31C-7DA611BDCBF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6ac1b630d12e4b44c6da40feb08500126ad3e66","datavalue":{"value":{"entity-type":"item","numeric-id":1647473,"id":"Q1647473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6587922$E8EE6141-E339-4F07-A5C4-34766D520C8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff166a2f2d41cbb1984cd1c9320df235b95d3c06","datavalue":{"value":{"entity-type":"item","numeric-id":2278099,"id":"Q2278099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6587922$6EB67BA8-BC45-44E6-8999-CD1EB5616A9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e6f72051b6ae2e63e08512c2f1ce12bb340cb7f","datavalue":{"value":{"entity-type":"item","numeric-id":4943503,"id":"Q4943503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6587922$3DCED1FE-CA79-448A-9C01-C6CBD5CEDDB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c9c66413207853f9d30811252e18e0aab59b8a6e","datavalue":{"value":{"entity-type":"item","numeric-id":2171264,"id":"Q2171264"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6587922$933A9EBD-0805-45AF-9847-5E1AFAA09C53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"058ac1f1a0588698093df65157db4d9c494383a5","datavalue":{"value":{"entity-type":"item","numeric-id":2055779,"id":"Q2055779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6587922$9B8FA76A-512A-4285-9D6A-6EEA86CC0254","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f773d1d369f2fb1a248b7840cecc94526aee7949","datavalue":{"value":{"entity-type":"item","numeric-id":2259000,"id":"Q2259000"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6587922$E5F5BB33-C544-4C67-8A4D-FE0DDE81A1E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b6b607439bd49e4fc2a082a1c7bb43dca878a78a","datavalue":{"value":{"entity-type":"item","numeric-id":1424928,"id":"Q1424928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6587922$AE0C6491-7B82-4C70-9981-ED3845C04794","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"12eaf08266742406370a790bca62ffb2aaf03c4d","datavalue":{"value":{"entity-type":"item","numeric-id":5940718,"id":"Q5940718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6587922$3A82F071-DCFF-473D-8FA0-9BC5A3419D3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a0991edeb18171d56411d47bdfa4f7719cca5b3","datavalue":{"value":{"entity-type":"item","numeric-id":2680799,"id":"Q2680799"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6587922$2539DEB1-10CC-40B0-8506-B399806E9704","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4c914ecbd043370e634e942dd09646804b49e5dc","datavalue":{"value":{"entity-type":"item","numeric-id":2075375,"id":"Q2075375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6587922$1F845812-286C-47C8-A586-522032D0D973","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee1234a23348fd786a971c65562f3d04a0707914","datavalue":{"value":{"entity-type":"item","numeric-id":6488131,"id":"Q6488131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6587922$000BEB37-0350-40E0-9786-D79A60B2AA6E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0d6ff97c5c1a280862b2d8342d8dce4c857b76c7","datavalue":{"value":{"entity-type":"item","numeric-id":2807072,"id":"Q2807072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"174d6230bc729416bf42643743b61fe1db4a35fd","datavalue":{"value":{"amount":"+0.8201613426208496","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":"Q6587922$1FFC45AD-80D8-48FA-A9AA-3BC141FD8C6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"21de94bcb1f24e17904db98550171850acdc377a","datavalue":{"value":{"entity-type":"item","numeric-id":1783735,"id":"Q1783735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"69b1b6780db916a8832e75ed3ef9d0492de04db1","datavalue":{"value":{"amount":"+0.8116657137870789","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":"Q6587922$5B31ABBC-9837-4E53-A888-A037D4C28179","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ffca9a730c6a5603422af6a74978246f12d014e4","datavalue":{"value":{"entity-type":"item","numeric-id":2075375,"id":"Q2075375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6778d734a65a2c87994f834aa907c378bf2278e1","datavalue":{"value":{"amount":"+0.8008634448051453","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":"Q6587922$6868B3BE-58E3-466C-8369-CD89542FD041","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f371b8275b4a0a7cd8a8ee435a53ee867d3f93ac","datavalue":{"value":{"entity-type":"item","numeric-id":2278099,"id":"Q2278099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6c94b4d0b03a8bfdd9d83e3b8746f946a776dcf9","datavalue":{"value":{"amount":"+0.763828694820404","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":"Q6587922$13E799F9-3879-4E65-956F-6A611397156C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6587922","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6587922"}}}}}