{"entities":{"Q5133479":{"pageid":7163051,"ns":120,"title":"Item:Q5133479","lastrevid":53867897,"modified":"2026-01-25T20:42:46Z","type":"item","id":"Q5133479","labels":{"en":{"language":"en","value":"From concepts in non-monotonic reasoning to high-level implementations using abstract state machines and functional programming"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7272368"}},"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":"Q5133479$A7A591D5-6D55-4728-B961-BDA63FE10974","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ac74b69c05f388115d38cac4d35db7075222b4ab","datavalue":{"value":"1446.68151","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5133479$05EB8A9F-D409-43F6-847A-27224C8B3245","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":"Q5133479$ED99F602-A627-46F3-8747-A61568EA0469","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6f25c7013dc3045e9d5620b41b45f4276c6c526a","datavalue":{"value":{"entity-type":"item","numeric-id":1647471,"id":"Q1647471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5133479$A7141348-94E8-496F-8555-9BCFC3E46136","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":"Q5133479$73C8FB68-22AE-48FF-AB5A-D225908229AF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d9f22268837797e046dca0302ad58b944858f292","datavalue":{"value":{"time":"+2020-11-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5133479$044E93B0-2D22-4FFA-B66E-5D319C2F71B5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0c6e71133293256880be082f6af9aa793c57d433","datavalue":{"value":"68T30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5133479$19AC0314-A4D9-4AB9-90FC-5B2E88565C79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5133479$4256617C-7D75-412B-AF83-00F5A902ED45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5133479$B31A1DE1-7A0C-4CA2-93ED-9AEC29BA26DF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7476edb30425318ed3fb2fb25dc5b330f51cfcc0","datavalue":{"value":"7272368","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5133479$59634C12-E55B-4A8B-80B3-626087C7D280","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"067e00213990a6f2431e78667be3f10443c92f4f","datavalue":{"value":{"entity-type":"item","numeric-id":16052,"id":"Q16052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5133479$AD9CD9F7-7EC2-40AD-BC33-1B5295BDFF15","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":"Q5133479$8B89EEBA-5690-4A97-A73A-4471983F8B9E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"676146e2ae2837b6be73c686bb147b36e5846467","datavalue":{"value":{"entity-type":"item","numeric-id":3783634,"id":"Q3783634"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9ced60f1d6568e7f1c1f4b3017cf222948caf43f","datavalue":{"value":{"amount":"+0.7717653512954712","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":"Q5133479$61C8CF19-B2F1-4163-AC27-97E028A0D56E","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":"5303b1e8d4b325a8de1c1194574c221fa95980c7","datavalue":{"value":{"amount":"+0.739689826965332","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":"Q5133479$2F789430-FE67-48AC-97FB-F7EC173A5727","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"61094af2efa2f765c124404ba66c07364716beae","datavalue":{"value":{"entity-type":"item","numeric-id":2401876,"id":"Q2401876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a6965cc5f326e20d9ec13136666e568ac03ef7d3","datavalue":{"value":{"amount":"+0.7393283843994141","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":"Q5133479$917B7F39-73B5-4C24-9DE6-ECFE1E90AF16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"117e80048600573a2e875b851dcd4e5d5268c47a","datavalue":{"value":{"entity-type":"item","numeric-id":6045090,"id":"Q6045090"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"08210711b98708dbd469783f56c80a1cf0ba099e","datavalue":{"value":{"amount":"+0.7390086650848389","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":"Q5133479$DF73C620-B6FD-49DA-A1F6-DEFCA448C769","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8b4e962d11238f84d3f35b402f218b72dadd06d8","datavalue":{"value":{"entity-type":"item","numeric-id":4906883,"id":"Q4906883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c4e07396cf542095dc47415585d7fd5ad67b9817","datavalue":{"value":{"amount":"+0.7387030124664307","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":"Q5133479$4A3ECDD0-CBA3-4143-8E83-B9950EE1F45C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5133479","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5133479"}}}}}