{"entities":{"Q4246796":{"pageid":6276397,"ns":120,"title":"Item:Q4246796","lastrevid":46836510,"modified":"2025-12-25T16:53:28Z","type":"item","id":"Q4246796","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1301603"}},"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":"Q4246796$220563BA-11FB-4CA7-B03E-0DDC78C4BC78","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ab7a08f0774036f230d05990fc05290b770bfa7b","datavalue":{"value":"0930.03028","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4246796$D5EC5688-5518-4325-BDDF-04A2BDC6CD36","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cf075aaec86a3ce2575469311f0a5edc1faa7cd9","datavalue":{"value":{"entity-type":"item","numeric-id":816215,"id":"Q816215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4246796$C36F9A23-C3AC-4F21-8956-E4E1E99E2F8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"db32c21cc482660e99c90b1907d7d5760cbfacfe","datavalue":{"value":{"entity-type":"item","numeric-id":347381,"id":"Q347381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4246796$5459DFAE-0CDD-4EA1-BC15-5501009151D6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0ef42c3f85bfde0c050ab106cce6b093cc257881","datavalue":{"value":{"time":"+2000-02-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4246796$B5561065-D999-464A-8DDB-5CA369BC0539","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"89a6721807d2106ad3a18783b4fcbc004e6a56c5","datavalue":{"value":"03B60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4246796$B096A2A6-DABB-48D3-945D-8A4B51A3E463","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4246796$3C8E320B-5BD2-44AE-8D80-A8AB636CB1F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4246796$C534680E-1E76-4466-A779-A6524EEC662D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4246796$CCD19155-80F9-4CB1-8EAD-2874E5F06523","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0c6e71133293256880be082f6af9aa793c57d433","datavalue":{"value":"68T30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4246796$42E35EFC-9B12-4236-824C-B5068BA7B3DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4246796$28BA0571-717A-4F8C-8F7D-43038C7FAD7F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"90b097077d9d209852385aac032f77009ca5023e","datavalue":{"value":"1301603","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4246796$2DAECEFF-32CF-498E-A2D5-4AA50D170BE9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"302e7bd67d2646d1e0615c1195ca61ad56775360","datavalue":{"value":"rewriting logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4246796$F1147CF5-B991-48DF-9CB5-1DEF4CF1A7BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6f83b1aa5c3c73185ab130c51100d98b8269b368","datavalue":{"value":"frame problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q4246796$56FE9D36-9B74-4F9D-80AB-9C0E9C22D29A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c919e18fbf09eaa0d0c57c35596cee5683cec65e","datavalue":{"value":"planning problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q4246796$8C764FB8-A810-42C7-8D1D-04EF65FED078","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7837ca7b4ed6a21f47990cc2562459286134de64","datavalue":{"value":"Maude","type":"string"},"datatype":"string"},"type":"statement","id":"Q4246796$4673BB96-9B51-4B04-A83F-39FD1D65A0C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6fc3bc97e9c451eef2d1e1a48043581860fde359","datavalue":{"value":"MaudeLog","type":"string"},"datatype":"string"},"type":"statement","id":"Q4246796$2764972E-4ECD-4585-A471-B40125E1E746","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f688d80cd10dc9c0b004843c0674655ad59b2fb","datavalue":{"value":"linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4246796$B098D501-D66E-4065-AA5F-FF7B4217A8CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4ec7e964dd5c963dd693eed9255b25a23c0da8ad","datavalue":{"value":"Horn logic with equality","type":"string"},"datatype":"string"},"type":"statement","id":"Q4246796$C460795A-3A8B-4DA1-BF4D-84147B2A7DE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3dac1a642257da658873dc80d8af31b033a04de4","datavalue":{"value":"concurrent object-oriented systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4246796$1CDADCED-97C7-4932-949F-7C840D7A45A9","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ebe6f223efc2405cf071214b7d4e0e7858bf57fc","datavalue":{"value":{"entity-type":"item","numeric-id":18367,"id":"Q18367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4246796$638DE1C3-4488-4C30-939F-23EF7B0EBB35","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":"Q4246796$8D84E324-D800-45E8-8D7B-787EBE8474FA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3b1ebd9b34a630884d2e80dfd938f84e69060b90","datavalue":{"value":{"entity-type":"item","numeric-id":2723887,"id":"Q2723887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"46d3f98109982a67a4156364dc9829057a2dd7ad","datavalue":{"value":{"amount":"+0.8423717617988586","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":"Q4246796$9BF65BDD-5F4C-4067-B24C-07EFA5A27CC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b504c99e71c926cb8f2813fc46d2e3e1eac51f87","datavalue":{"value":{"entity-type":"item","numeric-id":1190488,"id":"Q1190488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6eb13970ee2ba28515c0837e180b082bff1c9bfc","datavalue":{"value":{"amount":"+0.82318115234375","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":"Q4246796$01B03B4A-259A-40A4-839A-8F16196D2854","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bb096b8e21da96a6f6d7c59e4039b039b553f565","datavalue":{"value":{"entity-type":"item","numeric-id":4222859,"id":"Q4222859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"26cc3d3483711b4a77652c03a7bc23e787027589","datavalue":{"value":{"amount":"+0.8225788474082947","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":"Q4246796$9F903475-79D2-4125-A0A8-18975F57538D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8c258e25f3203eb7e6bfcfe9c250e699bd064464","datavalue":{"value":{"entity-type":"item","numeric-id":4263840,"id":"Q4263840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2f4f9638edc3fc9295de23de386572c9a197d93d","datavalue":{"value":{"amount":"+0.8140805959701538","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":"Q4246796$D37BB23C-D72E-48DF-91FC-B318E59BD18B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4246796","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4246796"}}}}}