{"entities":{"Q4348472":{"pageid":6378071,"ns":120,"title":"Item:Q4348472","lastrevid":46509387,"modified":"2025-12-24T22:44:09Z","type":"item","id":"Q4348472","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1049169"}},"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":"Q4348472$4E371252-92CA-4120-9804-E7F5698969DE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f6fc4c8803f77a2e0cb24c141dd3f6b1ccfe92c2","datavalue":{"value":"0881.68032","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4348472$453A487F-C34A-46F6-BB85-322E5E748567","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8d2194a72287987c2fdd62e01e933a3ba2db5d50","datavalue":{"value":{"entity-type":"item","numeric-id":431789,"id":"Q431789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4348472$81198F8D-28CF-4235-98B2-8383B07842BE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"238dffa3abfa32d2f3f435b98c739e32735e84ac","datavalue":{"value":{"time":"+1997-08-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4348472$02E03788-B1AE-48BE-84D5-8739EC9CF6E9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"517ace4a4f9c45a5475b4a8927a567447dbdb293","datavalue":{"value":"68N99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4348472$3C214B87-51D6-4E8F-BF76-EAB7BCA0488D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"24aafcf24a21bd70cd3b62d3f5f72a6d0d82d816","datavalue":{"value":"68-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4348472$21D4B791-CAA0-4ADE-9628-522D38DB1B3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4348472$148A59D2-127A-46B3-85CE-C89C1574027A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6655a236dba98c974343419569faeae3437ee9ed","datavalue":{"value":"1049169","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4348472$24895176-E39E-4C5D-AE89-98FB027621CC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f4cee31b109bfd0275ef9410b844f3bfc242cf31","datavalue":{"value":"first-order predicate logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4348472$BA79EEBA-6E1C-4CF1-8889-3B37F2AD82E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8655b9be840caa9be702e31cd5e062f5735bc60a","datavalue":{"value":"linear-time temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4348472$31E642DC-7266-44FC-B202-EBD32110F619","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d29ef02087a1b64feedb34d14746db0c94c389dd","datavalue":{"value":"concurrent computations","type":"string"},"datatype":"string"},"type":"statement","id":"Q4348472$01EC8965-8BE2-4DE6-80E9-D4B50B374E6A","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":"Q4348472$5708869A-30C9-4712-A9E1-7EABCE170284","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5ceeee1b8ec51ef1fddb452b60d2cb6b34b5a6fd","datavalue":{"value":{"entity-type":"item","numeric-id":4024005,"id":"Q4024005"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5a411e5bb589df63f3631ec361b5858fd0aa8a9d","datavalue":{"value":{"amount":"+0.8810296058654785","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":"Q4348472$1694A538-BFE8-4E22-868C-3B2EEABF06D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"db6540ccea350a267082efa051721291ea2261a4","datavalue":{"value":{"entity-type":"item","numeric-id":3997236,"id":"Q3997236"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6c542532854350c863de1fe469c9b43a939ee870","datavalue":{"value":{"amount":"+0.8394683003425598","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":"Q4348472$21807B18-33C1-47C8-89EF-256BC6E12B21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"62a850180f92538e4c5e725b89fb0e8a7168fb02","datavalue":{"value":{"entity-type":"item","numeric-id":3727356,"id":"Q3727356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3c63d71f259d5d0b7993e3e6ba6585dd1798aa1c","datavalue":{"value":{"amount":"+0.8353130221366882","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":"Q4348472$61F54A95-637E-4FBD-9ABE-025F002CCE11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"75d6cf721291cb78de571ee0604c656326d86384","datavalue":{"value":{"entity-type":"item","numeric-id":3166386,"id":"Q3166386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cd67b6233fb89b4d3f380bc065bac250d9eb3adb","datavalue":{"value":{"amount":"+0.8350346684455872","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":"Q4348472$DD390A33-4FB9-454A-8F30-2A858BB73B4D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4348472","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4348472"}}}}}