{"entities":{"Q3541697":{"pageid":5571601,"ns":120,"title":"Item:Q3541697","lastrevid":80954426,"modified":"2026-05-06T17:22:57Z","type":"item","id":"Q3541697","labels":{"en":{"language":"en","value":"A High-Level Implementation of a System for Automated Reasoning with Default Rules (System Description)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5374237"}},"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":"Q3541697$98250EFC-3F41-4EF7-9CC7-F7EB6BEFEC0E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"24ae81c3eb199a9774dd887d604372fb1626f7fc","datavalue":{"value":{"text":"A High-Level Implementation of a System for Automated Reasoning with Default Rules (System Description)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3541697$129B6212-B1C2-4E32-A13A-71FC3F809028","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7be350fe5b153c8490b7c8424813ab7fa1fce07c","datavalue":{"value":"1165.68445","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3541697$719F2861-0139-41F4-B860-BC3E34AD159B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d3506dfcbafac4b01bb7bc070fbecf61d50a539d","datavalue":{"value":"10.1007/978-3-540-71070-7_12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3541697$5FC208D3-70EB-4323-881B-D061FA3F7111","rank":"normal"}],"P16":[{"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":"Q3541697$CFE023CF-730C-4A1A-82E4-D9D26E127B69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"91aa34df3677c28e61d4b12884763794b2394a45","datavalue":{"value":{"entity-type":"item","numeric-id":196896,"id":"Q196896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3541697$1BCD31D0-B79E-4BB8-8B82-218C89DB725F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0091962398f4a3fddb9578e6449c3d4125b75945","datavalue":{"value":{"entity-type":"item","numeric-id":3541696,"id":"Q3541696"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3541697$19E8A47F-936D-4ADD-907C-CF70E20B9C8B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3085facee3457e7f15d7356906b0165b8709b141","datavalue":{"value":{"entity-type":"item","numeric-id":2817907,"id":"Q2817907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3541697$8AD5B180-F3AA-4F53-9C72-787608A1BA70","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4a5749b126b021d85a2ebf6a8aa65ef57ba3c669","datavalue":{"value":{"time":"+2008-11-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3541697$7213BB89-54EE-4718-99B8-CB6D1D2F2DCA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3541697$63395BAA-348E-49C3-AA44-8429EBF6E282","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3541697$5392BCB5-7D98-4CD1-90D9-9754C5759997","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7a77b5375ac7a55e04cb2010bd1f839a4afae966","datavalue":{"value":"5374237","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3541697$C6726796-8CBE-4542-9B8E-BE860A5C51F3","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ecc86304e6e0168c486b1953bbd2cdad4880fb4c","datavalue":{"value":{"entity-type":"item","numeric-id":23309,"id":"Q23309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3541697$82184A0B-C7BA-436A-868F-CDE55433F971","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":"Q3541697$AAEE014D-CD90-4A76-A726-BAACF313B9B2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6a8639b820404a43cf84189a94eae4fb405cb3ee","datavalue":{"value":"https://doi.org/10.1007/978-3-540-71070-7_12","type":"string"},"datatype":"url"},"type":"statement","id":"Q3541697$3EFA9128-596D-4800-A1B1-E728C343C1FF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b0995c8edae4af77beffaf93162fb634ba42e8c3","datavalue":{"value":"W1525648839","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3541697$383CF4F6-E341-4BE0-A237-F88445FAC600","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a58fd1c1d08ee970b5e620a3f873df3171087eba","datavalue":{"value":{"entity-type":"item","numeric-id":3699670,"id":"Q3699670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3541697$06ECE0D8-4902-449E-B30E-5F732E7108E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"170f07a0aaa6d1f92a2f193d1b2d61a6971a7c1e","datavalue":{"value":{"entity-type":"item","numeric-id":4094173,"id":"Q4094173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3541697$09FD02B4-9D7D-4251-A149-A8EEDE3EAB01","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":"Q3541697$151C3975-77F2-4EC8-9F0A-BF0C72368CE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee9ea5eebc79d0ad5f376467c5067ade794866f2","datavalue":{"value":{"entity-type":"item","numeric-id":2571205,"id":"Q2571205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3541697$1C099767-F1DD-49A1-9E00-EDFC60652615","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":"Q3541697$37F1975D-07BC-4EF4-AF80-DC32461BC0C5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"970f6bd74278b378620351cad6bb2f9f6274e36f","datavalue":{"value":{"entity-type":"item","numeric-id":2807073,"id":"Q2807073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d07856999b2d8727e00b39ce707ae94ccf7a7134","datavalue":{"value":{"amount":"+0.7500640749931335","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":"Q3541697$CB7099E4-8C03-48E8-97F1-746066970E21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"15183955c6543a4a993b6dcc5798b6164f24ebe3","datavalue":{"value":{"entity-type":"item","numeric-id":4798017,"id":"Q4798017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"99068a91d2b89e8c1da446b46d9d0449583d6c32","datavalue":{"value":{"amount":"+0.734721302986145","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":"Q3541697$A9F9A3E1-11FC-4B93-B0A9-914C2D8A4675","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"897f454bfdb6bf1d0482d1756103d58ccba6b210","datavalue":{"value":{"entity-type":"item","numeric-id":578935,"id":"Q578935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b8edbd2e72b7bd0ee3dc92f1a5ebe1d8d5597b5f","datavalue":{"value":{"amount":"+0.718779444694519","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":"Q3541697$8C6E8AF1-3FE4-4A87-B6FA-44943EC924FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"20decda4414d6f5e1940359c94be5e9aebbcac12","datavalue":{"value":{"entity-type":"item","numeric-id":4442941,"id":"Q4442941"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"01e736df2d774ae60b45da03021208b7a12c8a4e","datavalue":{"value":{"amount":"+0.7184696793556213","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":"Q3541697$C4513B49-F7B6-49A0-8F26-C8306DF028E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"07196f767bb5ca3eb1826694b165e360124d07e4","datavalue":{"value":{"entity-type":"item","numeric-id":2043430,"id":"Q2043430"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2e52233b2611bca393fe1180b1021807de0baa95","datavalue":{"value":{"amount":"+0.7095597982406616","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":"Q3541697$03B06E04-2FED-4EA8-817E-1F674DA69AA8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A High-Level Implementation of a System for Automated Reasoning with Default Rules (System Description)","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_High-Level_Implementation_of_a_System_for_Automated_Reasoning_with_Default_Rules_(System_Description)"}}}}}