{"entities":{"Q7036262":{"pageid":21720456,"ns":120,"title":"Item:Q7036262","lastrevid":77519639,"modified":"2026-05-04T13:57:18Z","type":"item","id":"Q7036262","labels":{"en":{"language":"en","value":"An implementation of nonmonotonic reasoning with c-representations using an SMT solver"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7975890"}},"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":"Q7036262$C1CA6B20-BE0B-496D-9200-9785AA8C31CF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bc7683a4d712d8bea8b5e4592a02757610c336ea","datavalue":{"value":{"text":"An implementation of nonmonotonic reasoning with c-representations using an SMT solver","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q7036262$65964799-8738-4D78-83DD-4D871C9EEA0A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"40e103b15d43e7056b272f66d59682fda5337674","datavalue":{"value":"1558.68203","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7036262$D2E1B896-F8B2-4832-B57D-0888FF257938","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"81863d119d0e3990b31996e5b79d125856be7dfa","datavalue":{"value":"10.1016/J.IJAR.2024.109285","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7036262$C30CB847-47C5-4E2B-B7BA-134F6B8499E0","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":"Q7036262$D2A65D0E-5438-4418-BFC8-4F71FF75302E","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":"Q7036262$F4CB3D3D-F7D6-495C-9577-03EAEDD65BD3","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":"Q7036262$6D8F2A79-645F-4968-B4A2-DB7A3C7C946D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ffcf9cdef56de74059e9064d7fefa5c3d05fe8f7","datavalue":{"value":{"entity-type":"item","numeric-id":110194,"id":"Q110194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7036262$A19B536B-6977-4886-9865-B22E012689CF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2496244a8d73be6eb3466ad6b47d633d39ce8a01","datavalue":{"value":{"time":"+2025-01-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q7036262$5CBC7A1C-CC90-4956-AD8E-1B1510AC9DD4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7036262$C515FD31-AAFC-46F6-AEA7-D8D44C1F4A69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0c6e71133293256880be082f6af9aa793c57d433","datavalue":{"value":"68T30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7036262$36510B3E-9B25-415D-8476-36B2E2641D75","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c90e8624d135f425496f6a66a74e950854a72468","datavalue":{"value":"7975890","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7036262$6200FD02-7932-4B59-9169-381848AF757A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3749d587b284fb2e5708bf249f54a60a313db614","datavalue":{"value":"conditional","type":"string"},"datatype":"string"},"type":"statement","id":"Q7036262$996FA7D1-B76E-4A6D-AE05-BABEF24BA4B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fabfa5d3951b6c64f2f74b5ce3b442c52df595a6","datavalue":{"value":"conditional knowledge base","type":"string"},"datatype":"string"},"type":"statement","id":"Q7036262$1ABFEEE2-C1D9-4DE8-992D-B32A0BA60670","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"71df45fd99690bbb53c862594b145dd989a58d8e","datavalue":{"value":"nonmonotonic reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q7036262$1C1D4AEC-B3BE-4EE4-8DAB-47606616E4AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"17bf62fd635a1bd944fb40cb8b3e8e9bb02ed755","datavalue":{"value":"c-representation","type":"string"},"datatype":"string"},"type":"statement","id":"Q7036262$6B35D724-D709-4F04-AEA6-2B0591AAF731","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"92cd65b385817742dbf67b739d928988b3931122","datavalue":{"value":"c-inference","type":"string"},"datatype":"string"},"type":"statement","id":"Q7036262$30BBCBB8-EDEB-49B6-854A-DF293B004755","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1254a7c01d2970b87da2854c1fde40c268a1f55d","datavalue":{"value":"satisfiability modulo theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q7036262$1396C55A-768C-4D64-8532-8B3095BED064","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d6b4e8a8900ac4542b1543543638272f2469fd4c","datavalue":{"value":"SMT with linear arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q7036262$2733FBFE-2891-4D6C-AD39-CF359D96F2F6","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":"Q7036262$9920846D-F155-481C-AC1B-E96B79ACC0BF","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed723014e8c51f37979fea9b58827f7d8aa11618","datavalue":{"value":{"entity-type":"item","numeric-id":2768759,"id":"Q2768759"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7036262$74E0FFA9-B8D4-4B9F-96A3-AD548814626A","rank":"normal"},{"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":"Q7036262$19657D29-5771-4C17-9C7D-0AF9F899DAF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6afd98104d250e8b263d6c8890f1ce8f19074b45","datavalue":{"value":{"entity-type":"item","numeric-id":1174512,"id":"Q1174512"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7036262$1C330283-45E2-47E0-B1C2-066806946B64","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":"Q7036262$DF21EEF4-5995-4965-88C4-F3EAD7A05AAA","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":"Q7036262$A33C0812-65DA-4334-88DB-2AF33A61F7AE","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":"Q7036262$CFC7D354-AE8F-47C8-B330-A24533BDB693","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":"Q7036262$EFE478BA-9209-4EF2-B487-2FD58068508E","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":"Q7036262$E0FE238C-0E24-4C13-B795-4D825C2F1004","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f43a3bb0dc107c0ca325b4631b1dab04706fd84","datavalue":{"value":{"entity-type":"item","numeric-id":1601898,"id":"Q1601898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7036262$97F0EDE4-CC88-49FB-A6E0-EE4E4C8FE9AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b603b1d3b498b47d1f12c7b7e05042a11c7cb615","datavalue":{"value":{"entity-type":"item","numeric-id":1583743,"id":"Q1583743"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7036262$C6F2429D-616A-48D1-BA17-E9DC35D5DD3F","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":"Q7036262$357A4800-5543-40A7-B79C-5676DD1A73C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"af24ba990df98829b6c3a0b381726a909a7b799e","datavalue":{"value":{"entity-type":"item","numeric-id":1193479,"id":"Q1193479"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7036262$BBACFA59-49F2-4AC1-93A9-0A5EE285DD8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a28f765cbcdc6c956e21179476774712687a4edd","datavalue":{"value":{"entity-type":"item","numeric-id":1924825,"id":"Q1924825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7036262$04D1C42D-56A6-47F9-98F5-4989A8756422","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":"Q7036262$39026E75-0A74-4AFA-A53F-10E46C60EF1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"807823c29ff1392bd62cb43b0127d24c6f6a1dbf","datavalue":{"value":{"entity-type":"item","numeric-id":2117582,"id":"Q2117582"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7036262$AF402C30-5DE4-4883-94C6-1DD39BA6ACFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b4a8da9957d85ec2a20bc3259a545b22fcd610f","datavalue":{"value":{"entity-type":"item","numeric-id":825006,"id":"Q825006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7036262$88A9E845-DF32-4A53-B8CF-A681D76CB183","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":"Q7036262$FF123403-B69E-4F41-A15C-C86F01F8B80B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"61d1592b69be1422381d8132a92c0f9bd9735501","datavalue":{"value":{"entity-type":"item","numeric-id":6545557,"id":"Q6545557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7036262$0117B60E-85EC-4462-BF8B-F13248FBA7F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40c3b23533d1902791cd0b5cf10daf451c75d309","datavalue":{"value":{"entity-type":"item","numeric-id":2411257,"id":"Q2411257"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7036262$A8CCEDC9-03FD-4B95-9A4A-E320B5FBB419","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"120287b20f09b4d927711bf283cad9b3b7d0e9ec","datavalue":{"value":{"entity-type":"item","numeric-id":6587922,"id":"Q6587922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7036262$2A47313F-D2A6-48CC-B747-A738E9B8B6BD","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":"Q7036262$0A5FED89-482A-48DC-9DDA-9A2845AF4854","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":"Q7036262$A1946E16-69B0-4F7D-AB46-D3BD0B170D1F","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":"Q7036262$F05B8CCC-0C3A-4637-A066-7000A33723C5","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":"Q7036262$9EDE672C-CCD4-4EC4-BE7C-F615060935C1","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":"Q7036262$84952826-9ED6-4ADC-BF7C-F01C4CD3B6B9","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":"Q7036262$E5AA9741-60D4-4B3E-942C-06BF98553188","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e04ab81d45f12ac8384349fb227b231eb047cd4","datavalue":{"value":{"entity-type":"item","numeric-id":6903886,"id":"Q6903886"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7036262$F4F0484F-6F7E-4453-9B13-239FF40A0B39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47f8c0378550ff818d7953878c8a9b5b737a2842","datavalue":{"value":{"entity-type":"item","numeric-id":6630188,"id":"Q6630188"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7036262$01EBCB14-C3F5-44B0-A682-CFFBC1746002","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"An implementation of nonmonotonic reasoning with c-representations using an SMT solver","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/An_implementation_of_nonmonotonic_reasoning_with_c-representations_using_an_SMT_solver"}}}}}