{"entities":{"Q4364518":{"pageid":6394117,"ns":120,"title":"Item:Q4364518","lastrevid":41254102,"modified":"2025-04-25T02:27:42Z","type":"item","id":"Q4364518","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1088203"}},"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":"Q4364518$5B14BED5-2818-4769-9B8C-B092A4B64A80","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cf2a5044df4a235c68bf5cbd6650f1236d6a2bab","datavalue":{"value":"0885.03020","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4364518$D54BE027-3C33-493D-9E42-F998CC023A06","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5428ed54f73e0030d8e31bf1a0a854c10199b1ce","datavalue":{"value":{"time":"+1998-04-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4364518$65FF734C-C22B-4BEA-A5DD-06027E36F974","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4364518$8330E6F4-9E12-4615-A205-C85E22571BFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4364518$135720D9-F8B5-4E17-B5B7-280185128B71","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9403e7f38f02d25b9fe45418a36696caa59a515e","datavalue":{"value":"1088203","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4364518$B1A1B290-EAE2-493C-AF45-D24DE9A518BA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2225cf912127d523929ae7792f7eaad277b0c400","datavalue":{"value":"FC-sequents","type":"string"},"datatype":"string"},"type":"statement","id":"Q4364518$8594F387-32E7-4EE0-A22E-6DEB84D75BA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c9b40c27595869d14cdc5363cafe72119ad9ab07","datavalue":{"value":"restricted first-order linear temperal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4364518$8BE4FD6A-FA93-4FFE-9D6B-2CDEB71948E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c668b2ae003d6522c7a69800b85a93f4ecaa22d2","datavalue":{"value":"saturation calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4364518$AF9E14D2-713A-45BC-9E49-98042E9F84A6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9e7860b5f5f8e3f51d43313692926606ec1d28de","datavalue":{"value":{"entity-type":"item","numeric-id":1344879,"id":"Q1344879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4364518$644ED242-7158-4862-9E31-75737A58C2B4","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":"Q4364518$14C8A136-46BD-4C2C-B95E-98CF9AD45EF6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3a6aca9a5039fba5f216bd8e6614355e9eea4c82","datavalue":{"value":{"entity-type":"item","numeric-id":4275689,"id":"Q4275689"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dc8229d3ab8039580026f2fd139fd111e463c49e","datavalue":{"value":{"amount":"+0.9616384","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":"Q4364518$31F890C8-AF5C-4C58-A62D-F832B4C76E93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9c02ae77b41cf91ebd59f6eb7df9fcbe265f49e2","datavalue":{"value":{"entity-type":"item","numeric-id":1873230,"id":"Q1873230"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"58a86ef5fb11542bdf10bab36cdbf61273df7f85","datavalue":{"value":{"amount":"+0.9384499","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":"Q4364518$2D7CBAED-059E-4A40-ADB2-5752F99D4BC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7d9df7499817978c9c41a287e68810e53cff96ae","datavalue":{"value":{"entity-type":"item","numeric-id":4938418,"id":"Q4938418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f7f7b5e7ba7a4fd25fa5db6cfe5a9f479317b69f","datavalue":{"value":{"amount":"+0.9275336","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":"Q4364518$7A365C86-5A86-496A-BE9D-2718475E6895","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fa488e25341d9e93dada166f13746f9be3023776","datavalue":{"value":{"entity-type":"item","numeric-id":1990508,"id":"Q1990508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a06aed296b6c604a4f14fe61e944ef9f4fb2d41e","datavalue":{"value":{"amount":"+0.92478555","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":"Q4364518$D74D1D85-2D1F-4A4B-8B01-C018AF041483","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"faf473c9db566695247ab3f0587faa9d503c8c5d","datavalue":{"value":{"entity-type":"item","numeric-id":1102941,"id":"Q1102941"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0b8096e4b90a070e03aa4312e9809668b8e320ca","datavalue":{"value":{"amount":"+0.9243402","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":"Q4364518$3D079AFB-D067-42F8-8239-A6437EAEB9D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4e4cf482880c2b5728850189a6c1dffd76999ba8","datavalue":{"value":{"entity-type":"item","numeric-id":4451651,"id":"Q4451651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"474f709c7236c0541429bdf527ea80cf7e9c5428","datavalue":{"value":{"amount":"+0.92185104","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":"Q4364518$90644A2B-F0EC-4860-A4BF-EB3DFB7100C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"43a97448d9771c3ea620f5e8ef997bb70f0c8d51","datavalue":{"value":{"entity-type":"item","numeric-id":1667649,"id":"Q1667649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b43abe7a685fa3c4c20f2b22e6f31570f9638172","datavalue":{"value":{"amount":"+0.91697973","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":"Q4364518$42699EEB-EF46-4EE0-8EF7-A83AFC2FB830","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"081bd63286da1909b7245ea381f5077097f31ff7","datavalue":{"value":{"entity-type":"item","numeric-id":2913981,"id":"Q2913981"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"831944a75257086a3a76906bfe24155ee8e2d273","datavalue":{"value":{"amount":"+0.9151865","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":"Q4364518$680A516F-B319-4388-8489-24EB4BAA2613","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"70d74d9c8e0e524ff6a1666b660235e14a06b097","datavalue":{"value":{"entity-type":"item","numeric-id":3735688,"id":"Q3735688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"089db7166004534aca3c9f6ecb0e18009225de11","datavalue":{"value":{"amount":"+0.9112977","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":"Q4364518$FEE4B598-6009-488C-977D-A9FE25F034BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c0ff6e54c1b50c0922974c0029a41fe5cf9ceaa2","datavalue":{"value":{"entity-type":"item","numeric-id":821564,"id":"Q821564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"066033d565e403ffd3946fa8419c93932f25444b","datavalue":{"value":{"amount":"+0.9084151","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":"Q4364518$21433FAF-291D-4AB4-8C9D-93282B01BEA2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4364518","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4364518"}}}}}