{"entities":{"Q5202986":{"pageid":7232557,"ns":120,"title":"Item:Q5202986","lastrevid":40955296,"modified":"2025-04-15T08:24:24Z","type":"item","id":"Q5202986","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4197951"}},"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":"Q5202986$B23BBC3D-4680-48CF-96CD-5BD833C135A5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8c35116a6eeddef92767469968dd779c3db1d212","datavalue":{"value":"0726.03007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5202986$41D06A0C-9AF0-4DCD-A45C-1EBDFF380AA7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3f39e5514529b8e1c36aae3b627e7a08dc67c559","datavalue":{"value":{"entity-type":"item","numeric-id":704033,"id":"Q704033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5202986$155C2ADE-84F7-40B8-BE99-591A07AE38C2","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":"Q5202986$BF4493D8-0810-4487-8037-C3EE722ED811","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5202986$91F67A38-4E96-4D0A-8C37-60D3DF03E988","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5202986$FB21C6DC-428B-486A-AE7D-19AD63067079","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d307161dff41e295ac783ae22b5eaf91e24ce099","datavalue":{"value":"4197951","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5202986$7882D4B2-6EC2-4ABE-A294-0BFB250A0E2C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b11c7bdf1df6f7696ded310ee6eb94bd5ecbab18","datavalue":{"value":"first-order branching time temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5202986$EFD461A4-AFE8-48C0-A20C-A2B171E72B19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"16ce1b95d178f4ba341fbf1038490dbfbf9c3fac","datavalue":{"value":"infinitary sequential calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q5202986$4FDF09CB-7A52-4091-BE65-773F5BE8A216","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4fc8534b3bb8a981c00a2744422055e258daa4c0","datavalue":{"value":"Completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q5202986$93C1A96C-873C-49FA-A3A9-223D61CA6DC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8678627aab26432cf94eab2dec430849543f58ba","datavalue":{"value":"cut-elemination","type":"string"},"datatype":"string"},"type":"statement","id":"Q5202986$3B8D7166-E6DE-4E01-85E2-B7ECC297FF6F","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":"Q5202986$B1E2105F-6A7C-4E61-900D-DE6C59488D9E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e0d9d447b99d89ed14040c00e63455066c69e900","datavalue":{"value":{"entity-type":"item","numeric-id":941433,"id":"Q941433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7ad4048b3a2275501edcf130d976fcf7a0f90de4","datavalue":{"value":{"amount":"+0.9072578","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":"Q5202986$BFD104B2-4DB7-484F-B265-3C7E5C0B2CED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ffab1ec510f63ff1e2a9542c3c3be4322ba4905","datavalue":{"value":{"entity-type":"item","numeric-id":5704011,"id":"Q5704011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d4d98b53c23b242c57f5e0d9f6423198e6e843c4","datavalue":{"value":{"amount":"+0.9025634","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":"Q5202986$B3F08225-C241-4E7F-B0AE-C3091171EF7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ffdb5f18663112a475945ef097aff78fdb417af","datavalue":{"value":{"entity-type":"item","numeric-id":2904138,"id":"Q2904138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e604d34d9b0b9f2900cf7f6fcd8a688b070e356c","datavalue":{"value":{"amount":"+0.89620817","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":"Q5202986$C8EDBCD2-733E-497A-A1BD-D1C964FA1BE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6b71f8c56f976fe164fbb0fb9ca6121ab435d454","datavalue":{"value":{"entity-type":"item","numeric-id":2296766,"id":"Q2296766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2c855f3d2fb7f59f96de244153221010ea056f52","datavalue":{"value":{"amount":"+0.8949847","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":"Q5202986$6DB69428-6782-4D41-AAA9-8EC58C43187F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e821d8d0a03f4a83fd0f9976fbfca3c4328866af","datavalue":{"value":{"entity-type":"item","numeric-id":2810015,"id":"Q2810015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"192152c3d65f67cbf0ce724e6bb0addc44206e16","datavalue":{"value":{"amount":"+0.89498025","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":"Q5202986$2D814280-0069-48B3-A14D-64FB35205A03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"65bd9578bcfb0760daa8553bf78b5b43bd9c1e21","datavalue":{"value":{"entity-type":"item","numeric-id":5216979,"id":"Q5216979"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3d20d32c54f77b91803ea34b20774e3119401469","datavalue":{"value":{"amount":"+0.888235","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":"Q5202986$B612FAB4-8025-4FBC-9A24-9D3117BD1C90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"24cc7780ba43a8ea5c56365615a44d25e91d56cb","datavalue":{"value":{"entity-type":"item","numeric-id":1317905,"id":"Q1317905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7b647b704bd5522d08a5949cf2efce922545c7a3","datavalue":{"value":{"amount":"+0.8877302","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":"Q5202986$F49B4EC3-0D2E-4C50-9F45-8F8AC1892712","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7f4d93c4d76a7ba344882e3131065a19fde672a6","datavalue":{"value":{"entity-type":"item","numeric-id":3751561,"id":"Q3751561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9dee791dbb67309d4ae211bbc3fa6e6b03d34e6f","datavalue":{"value":{"amount":"+0.8867576","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":"Q5202986$12D6A830-2189-4CBC-B355-51E3A603DB87","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":"8bb1cffb37b24a8dfaa973c7ea223b68d8ab8894","datavalue":{"value":{"amount":"+0.88637334","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":"Q5202986$AA986330-0BFB-44AF-BDC9-CA05CB06326E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"da5179163c08a214e80029dc628819449a2b1261","datavalue":{"value":{"entity-type":"item","numeric-id":4840168,"id":"Q4840168"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5cf2dce419f51203532611857237d2e30bcaafcc","datavalue":{"value":{"amount":"+0.8847928","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":"Q5202986$09AD960B-6DD6-4F32-94F1-08B50144C31D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5202986","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5202986"}}}}}