{"entities":{"Q4583844":{"pageid":6613429,"ns":120,"title":"Item:Q4583844","lastrevid":55851754,"modified":"2026-02-20T12:25:23Z","type":"item","id":"Q4583844","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6930545"}},"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":"Q4583844$51EB0B7F-9518-45F3-A3A4-7282387AFB97","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"455c0c071a0420fcd7c403f6948ab85b1a87426a","datavalue":{"value":"1394.68226","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4583844$2562DEB1-B667-4899-8E22-0249FD1F9DA6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e6c5828b072aef10524e45a83ef3d05d8d469e9b","datavalue":{"value":{"entity-type":"item","numeric-id":4583843,"id":"Q4583843"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4583844$9B441BAA-2058-4E29-8F17-851867550617","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1335099d9672ef506b169e85b3224e460a539db5","datavalue":{"value":{"entity-type":"item","numeric-id":2077758,"id":"Q2077758"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4583844$1ABF7B19-2927-4CC1-80EB-9A4A5EA5B158","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b7a86a6aed7188bb3ff3424d78e3001f3e02dd61","datavalue":{"value":{"time":"+2018-09-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4583844$79ACD73D-C8CF-45EB-8477-820E98BCF324","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f7b00efda50c7ba82a746c796dc287a2b6cec0b5","datavalue":{"value":"http://www.oldcitypublishing.com/journals/mvlsc-home/mvlsc-issue-contents/mvlsc-volume-26-number-1-2-2016/mvlsc-26-1-2-p-33-54/","type":"string"},"datatype":"url"},"type":"statement","id":"Q4583844$35C370B9-C919-4AFB-9DB8-AF7C4D1731DC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4583844$ED022334-0DF9-4314-9D9C-6FADE4CF7628","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4583844$D83FBCC1-1CDE-4633-B61C-3195D96AEB16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf715f882d7ad0c07303aa3e6e3ac3725da52515","datavalue":{"value":"03B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4583844$38F2E046-8B4D-4925-80B5-92243BE241D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ff42057022552eaa82447a5a1563ef3bf93acd","datavalue":{"value":"68M14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4583844$F9E668E6-3052-49A5-B6C7-D1E0C8F7B583","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"87204be867d968536a21b87048d0a4467c412fd0","datavalue":{"value":"6930545","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4583844$B2767ED3-8134-49E5-AC60-1D0B09AEBAFA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c1e02abee36db78497dbbfeaea646ef9e348c939","datavalue":{"value":"runtime verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q4583844$7861A3FC-DA6C-4B8B-8336-76E767F6F2BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e225ac4aec700ae2c67cab0cb7802b0627e7a3da","datavalue":{"value":"distributed system","type":"string"},"datatype":"string"},"type":"statement","id":"Q4583844$8133C3BD-AD08-4F89-8235-D5693012D387","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"82ca21e184d8232b66ffcc2403cd7d7094284d0f","datavalue":{"value":"five-valued logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4583844$FC8DD641-50D8-4574-8A25-720250324EFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"85a839a7ba93b7be8ef2a01122562abb5ca55aa9","datavalue":{"value":"LTL","type":"string"},"datatype":"string"},"type":"statement","id":"Q4583844$AFB89E2C-229C-42E1-BBA0-D2C9BE75F7FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7643b0e1d60dd0bc5a761cc8e085bcb96d5a22ad","datavalue":{"value":"ETCS","type":"string"},"datatype":"string"},"type":"statement","id":"Q4583844$4FE41877-480C-40C5-8727-D5BF11824527","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"87dd2e64b92b9bce51a6d9a8e24dbaa28d19658b","datavalue":{"value":"uncertainty reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q4583844$2368C9A2-76B7-4DC4-A2D6-16157DBA8696","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":"Q4583844$746C50F5-F9E7-4179-9021-BEDBAD58A572","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"23c226668bb81b1fe3872cf1210f8987162b8388","datavalue":{"value":{"entity-type":"item","numeric-id":4564090,"id":"Q4564090"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"58bd7ef349e99f4f638131d073effbea5ad662ca","datavalue":{"value":{"amount":"+0.79648113","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4583844$8B843DEF-C1FD-4FDE-BAF0-BEB185315A9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"19e9ee2dde90376b1f421d83870974fbd9e146b7","datavalue":{"value":{"entity-type":"item","numeric-id":1335699,"id":"Q1335699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"105ab7bf2daf680e60149429d60d261256fe02ec","datavalue":{"value":{"amount":"+0.7780279","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4583844$337EFF4C-BE2E-4389-B385-288F005832A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cc57defc3fb0e6156beac21c529212c0cef44168","datavalue":{"value":{"entity-type":"item","numeric-id":2520682,"id":"Q2520682"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4a4f90155b0a07f686b13370392129bb95fff03b","datavalue":{"value":{"amount":"+0.7748165","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4583844$B1A56A18-378E-44F1-850F-29207DB9C323","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4f994e193fb39990d22d0f214eedfdb48655908a","datavalue":{"value":{"entity-type":"item","numeric-id":2986950,"id":"Q2986950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"737317cccbd1d1c27612993704190dcdd949dc50","datavalue":{"value":{"amount":"+0.7705346","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4583844$840FC356-ED3F-428D-A42B-90420E0D2AB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"50b8299e640aafbf5692abb1adfbf9ef42a1b32b","datavalue":{"value":{"entity-type":"item","numeric-id":681471,"id":"Q681471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"275be58200ec173eeebe96189fc77fc76f9a1728","datavalue":{"value":{"amount":"+0.76988816","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4583844$C5C00516-D133-4A13-943D-3133B8AB3964","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b03c6c3de6e743b8977c35165a40490fd0f89cdf","datavalue":{"value":{"entity-type":"item","numeric-id":5750440,"id":"Q5750440"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8a044a93f40fdcd5c075c6accd9605bdb76864b6","datavalue":{"value":{"amount":"+0.76983744","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4583844$5CD09E5F-E599-482A-A696-682E75E7A524","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4583844","badges":[]}}}}}