{"entities":{"Q3686025":{"pageid":5715931,"ns":120,"title":"Item:Q3686025","lastrevid":50201831,"modified":"2026-01-13T12:28:12Z","type":"item","id":"Q3686025","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3909727"}},"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":"Q3686025$510EF87D-0A69-4603-B124-91FD6D492F7A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"33de9ab17faf3884d7813fb67d26b81e63c94f87","datavalue":{"value":"0569.68024","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3686025$9130FC7C-E058-480A-BFFC-97F5453B0D97","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2ee0f220147ae8bc749a64db56839865dbc4f127","datavalue":{"value":{"time":"+1984-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":"Q3686025$E03FC735-2E8D-4941-9566-AB9A7E0389E2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3686025$D11709C6-EA84-489D-B8DA-338B898F270B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3686025$7AE39E94-80A9-4333-881F-D8AB6AECC0DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3686025$1088A184-7244-4285-ACE6-BEB1C67CCC15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3686025$EE252AA8-2876-4F7A-BA0A-229C8A721140","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b547d773819adb63b33faba144a31dfa8a437305","datavalue":{"value":"3909727","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3686025$8CDBBD86-6B5B-4F9B-A967-C3AA58B249FE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3686025$DEAF3B8C-D5DE-4B93-AFE2-311C068CF81B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48a9d57224b4c90795ed16b4505d8da2503b1dae","datavalue":{"value":"dynamic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3686025$78D74BD3-037D-42E4-9F8A-BCC43841310B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ad0138a050285efbc1332e174f80fef84da3de90","datavalue":{"value":"Dynamic Process Logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3686025$8B2A91F3-FB62-4DE0-B5A6-554B80AF4313","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f0b4d6e6089943a261128dec792d30fd4cdc9763","datavalue":{"value":"satisfiability problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q3686025$E467D25C-E8A0-4DC7-9CD7-30E219C69B6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fa4a441dec5ab70ec0e803c6be2faa0a540a23b8","datavalue":{"value":"Temporal Process Logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3686025$FB57CD08-BD7C-493E-A74D-2E625AECDE96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"41f4d6a0817184775744cada5659b060d91a35a8","datavalue":{"value":"branching time logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3686025$B8A14E11-57E4-4F72-8AC1-156EF09F1BC5","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":"Q3686025$B37A61C3-7E87-4444-8139-128135E0AC44","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fe48f48d68bcd26bd1dbb44897eb4e6e5f7d7f51","datavalue":{"value":{"entity-type":"item","numeric-id":3734373,"id":"Q3734373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3b1751c8c4077a31731a8be5bc17bb4cfac45653","datavalue":{"value":{"amount":"+0.9325799","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":"Q3686025$274F1F40-CA9C-45AE-991B-ED2744B095FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2ad6a1af97b6f9496c6692ec2de83c1e9ea415b8","datavalue":{"value":{"entity-type":"item","numeric-id":3772188,"id":"Q3772188"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3b1751c8c4077a31731a8be5bc17bb4cfac45653","datavalue":{"value":{"amount":"+0.9325799","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":"Q3686025$730A56B5-8044-4B6A-B451-CFF0CFDD1739","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"123a38766a19007d4174b1cb708d9d8d5b81941f","datavalue":{"value":{"entity-type":"item","numeric-id":3743306,"id":"Q3743306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"12042bf790dff0d7e756bfde814ba47b352d6c50","datavalue":{"value":{"amount":"+0.9018524","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":"Q3686025$97663C9F-A000-4143-801C-327FD7455F16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"798174fe63c42137909f6029302fb872ec8e4c36","datavalue":{"value":{"entity-type":"item","numeric-id":2754156,"id":"Q2754156"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"abb8111fb18f7fcf9749743ce34bd7199aa810ff","datavalue":{"value":{"amount":"+0.8962399","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":"Q3686025$584903B7-1A63-487B-B7E1-F82974CA1034","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"03941458aec85e0b095ef0763999012823a8a1f5","datavalue":{"value":{"entity-type":"item","numeric-id":2575856,"id":"Q2575856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"abb8111fb18f7fcf9749743ce34bd7199aa810ff","datavalue":{"value":{"amount":"+0.8962399","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":"Q3686025$191103F3-7EEB-4128-9CB6-F5407C0F04D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"73deb6edc1747f5fb84f12770917470a23283ad8","datavalue":{"value":{"entity-type":"item","numeric-id":3790632,"id":"Q3790632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a2d4dc8d1abffac82f1b554d9790eec65171c36d","datavalue":{"value":{"amount":"+0.8956338","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":"Q3686025$EC84C64E-6FB6-462C-8B5B-4BD89E0F1C3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7c1eb3fee6fa665c4bb4f7f9313b9dcbd1884168","datavalue":{"value":{"entity-type":"item","numeric-id":4260381,"id":"Q4260381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"06c583e282014d1cfb9eeaa4295f02c6c082e447","datavalue":{"value":{"amount":"+0.89284766","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":"Q3686025$14FAF1B4-DDBB-4C4B-8B14-6BCA3A7AE531","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a79fb211c79fd02cc14628c0e6b23553932af541","datavalue":{"value":{"entity-type":"item","numeric-id":5096384,"id":"Q5096384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"622659096862cdfb77768a944df73ba81fa93969","datavalue":{"value":{"amount":"+0.8900185","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":"Q3686025$0ABF9E86-1F9D-49CD-9A2D-2B268442B48D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4cbed48721fd090f1df99061aa6d69f045d67f61","datavalue":{"value":{"entity-type":"item","numeric-id":1391099,"id":"Q1391099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2eea6851fbd3bf683b0c214fd5f65d327f3646f3","datavalue":{"value":{"amount":"+0.89001846","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":"Q3686025$67D49759-6AE3-438F-A973-54E782B527BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6052d22161f9a4ec84769e6924a152e79b6966ce","datavalue":{"value":{"entity-type":"item","numeric-id":4217603,"id":"Q4217603"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e686aea98ee53a1376add400e0176cf595780f91","datavalue":{"value":{"amount":"+0.8872029","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":"Q3686025$9DA11955-2F07-4C40-BFE4-C51D332D6E27","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3686025","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3686025"}}}}}