{"entities":{"Q5202985":{"pageid":7232556,"ns":120,"title":"Item:Q5202985","lastrevid":41547772,"modified":"2025-05-05T17:38:28Z","type":"item","id":"Q5202985","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4197950"}},"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":"Q5202985$AF2F7FB3-CCEC-4D5D-8ABB-95E8E97F18C5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"38be64bbb8472897993ec2aecb920cf1cabec32a","datavalue":{"value":"0726.03006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5202985$9BAF4FDF-325D-4B04-9E11-20F51649A136","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7211ad5ca16eb0d22cd0051fff3d0f3af254ceb6","datavalue":{"value":{"time":"+1989-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5202985$34CC082B-67A7-4BC5-9089-A44931879734","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5202985$8C8828E6-70A1-4BB2-BC13-2B51062E976A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5202985$1C5D4EE4-CAF8-4C90-BC6C-6AB9821E7929","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ac4ca0f329523914de119c7664b8c35a94071e5f","datavalue":{"value":"4197950","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5202985$4F42C7C4-B6FC-447B-8920-190DB442ACC2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ad021c7fa935a26272523876d887746d8580a3d7","datavalue":{"value":"quantified temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5202985$4AD3A9BD-51C8-4DC6-B957-EDABBE5A334E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"103c247d44a633aedbd5f8d8f6d3762c8403b32c","datavalue":{"value":"infinitary temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5202985$41B26407-E90C-4224-A546-9D2635C71EB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ee0a69ba46a5f23ccf6ad83fcf01b7501a19fa4e","datavalue":{"value":"cut-elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q5202985$9BCE2E32-D165-4300-A4D5-CF093FF0DFD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q5202985$629FC8FD-2818-4ADF-99DA-72252749DAF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"07436758f8f805b59882fa22e0d02e61079b4ff1","datavalue":{"value":"first order branching time temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5202985$0A6E2058-27DB-4023-849B-E731DE78112B","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":"Q5202985$664D4793-CEFF-449F-B88F-1A1A0F7D22CA","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":"Q5202985$B9F68F25-86CB-4464-8EC1-41E686FED61C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b1124589407aabfdc5ce011f199f697dc8b5e040","datavalue":{"value":{"entity-type":"item","numeric-id":4353637,"id":"Q4353637"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"15511c65bde7460dc3e30390ae9cd79bcd16f97d","datavalue":{"value":{"amount":"+0.8849358","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":"Q5202985$8A1C929E-4F8D-40D9-B75C-13AD6ED9E476","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"adc5ab5d5e396f5209aed992550f5b5a7ce2c768","datavalue":{"value":{"entity-type":"item","numeric-id":2331127,"id":"Q2331127"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d2a56393db715982e1d55534a98df4545c03ffc9","datavalue":{"value":{"amount":"+0.87789917","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":"Q5202985$F67B92D4-D77F-463D-B9AA-42BE72287203","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6bf7a644b08d7c001a3fe3ea470daca0cd6400e2","datavalue":{"value":{"entity-type":"item","numeric-id":4246976,"id":"Q4246976"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1b236bf5f231561bcdbfdb8209ba50b4c4877a9a","datavalue":{"value":{"amount":"+0.8754604","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":"Q5202985$9D2F8974-3E57-4DBE-8E2B-3BDDA84825E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a9253735b839ce795f970d4a53f6d1e9baa9737b","datavalue":{"value":{"entity-type":"item","numeric-id":1978028,"id":"Q1978028"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1b236bf5f231561bcdbfdb8209ba50b4c4877a9a","datavalue":{"value":{"amount":"+0.8754604","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":"Q5202985$C4224E8F-46FA-48C6-BFF4-B4355EB595D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e5a4e5769e0a881559434dd83eb4aa33d59f1623","datavalue":{"value":{"entity-type":"item","numeric-id":3637242,"id":"Q3637242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"06619c47dadbf438cea0e8cf0940583bc1ffcf61","datavalue":{"value":{"amount":"+0.86786366","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":"Q5202985$A354F35B-A2AC-45D3-B886-6935CF578A47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"712e12cffe3c9c9d8e20159d4c25f1635b0ff15c","datavalue":{"value":{"entity-type":"item","numeric-id":5056447,"id":"Q5056447"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"443353cf3138f0d19b0e2d926c519f1329f00eb9","datavalue":{"value":{"amount":"+0.8660712","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":"Q5202985$B63C2ED6-3016-417D-A534-56908352F198","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"107df4364085b50c32e4791b4f906c725ee5ffc2","datavalue":{"value":{"entity-type":"item","numeric-id":3644771,"id":"Q3644771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f1bed58a8a6bd4d84f23ff4ffe3c88dbf36b4d9e","datavalue":{"value":{"amount":"+0.86536723","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":"Q5202985$8A129CA3-2FCD-49DC-9C08-8CC971F27674","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a72ea4bea2ca32c16557917415d30c835acde50a","datavalue":{"value":{"entity-type":"item","numeric-id":4929426,"id":"Q4929426"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"417ef159545b7bf923525d32ec577af0af20eaa0","datavalue":{"value":{"amount":"+0.86523557","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":"Q5202985$9B1D4F0A-1B2D-41B6-B632-B56CD9251A55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"691d7fe8f3d4d3417be9a6c845572a4811be73b9","datavalue":{"value":{"entity-type":"item","numeric-id":2265816,"id":"Q2265816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aa65a67f74551356f1667be02554fe88945c29be","datavalue":{"value":{"amount":"+0.8628824","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":"Q5202985$C2FAA47D-8F91-4B24-8B81-A900D22F527E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"edba888f3e7d29b99efc3e3f7f1bfffb12715525","datavalue":{"value":{"entity-type":"item","numeric-id":3457242,"id":"Q3457242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ef335ca3801cc8f3f83e795dcd007d04149cd2e7","datavalue":{"value":{"amount":"+0.8620841","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":"Q5202985$33763AFA-0D45-4640-A954-93B7711CD919","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5202985","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5202985"}}}}}