{"entities":{"Q4027734":{"pageid":6057493,"ns":120,"title":"Item:Q4027734","lastrevid":55222768,"modified":"2026-02-05T00:24:55Z","type":"item","id":"Q4027734","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 125989"}},"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":"Q4027734$5CC32AC8-0D20-426E-8FDB-5FB2E4037D75","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bb311d37254becb3b7b81edde23c3fed81f1f978","datavalue":{"value":"0759.68084","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4027734$516CBEAF-3795-455E-9B1B-C70B5D45FFD6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8557a7562e448dc8f0bcdc87b563d33b9efe9217","datavalue":{"value":{"entity-type":"item","numeric-id":1863822,"id":"Q1863822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4027734$9F6329B8-A047-4A6E-9436-5DC22748975E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e89af0ab63fc0fca1fbd1433809f3667ad4723a1","datavalue":{"value":{"time":"+1993-02-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4027734$B0C16011-B072-4AE9-9926-372CE57E8064","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0c6e71133293256880be082f6af9aa793c57d433","datavalue":{"value":"68T30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4027734$7448DE2C-BB25-4F74-837D-C2903C582FF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4027734$FE298AC9-885F-4A09-BFE8-AE41CE4973C8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1c7fb2c457b7fabe674e74ac86494185638fade4","datavalue":{"value":"125989","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4027734$A53E6CFB-7986-4432-9942-E04D43D3A1D9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4027734$2AF570E2-871D-481C-A038-6263DD80EFDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q4027734$5530866E-F6B2-4D24-8287-03524CFAB2B8","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":"Q4027734$340E2283-DF22-46A8-AF6A-305A70E72687","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"52973565d0cbcd4dae233c0856e8def424ee06b6","datavalue":{"value":{"entity-type":"item","numeric-id":2277447,"id":"Q2277447"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b36c1621cfa1824b065328169d26e3dad4d642bb","datavalue":{"value":{"amount":"+0.9145011","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4027734$5C8913FF-5188-4F9C-96B2-3E2A6D738076","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d457e7ee95b83a8eae90882e9ec091e36dc8cb29","datavalue":{"value":{"entity-type":"item","numeric-id":3211282,"id":"Q3211282"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8676ea02c6ec4b246907b3eca6f38e0b54eca21c","datavalue":{"value":{"amount":"+0.88589907","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4027734$3DDBF75B-4038-4A5C-B5D7-9146D4B289A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bb6f806bb0222ef2c5b1fdb7aff422d0939fcef1","datavalue":{"value":{"entity-type":"item","numeric-id":2765574,"id":"Q2765574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2c19bb9bb8f60bfae091417b689f8f2e41c6688c","datavalue":{"value":{"amount":"+0.87949806","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4027734$3A152B30-E852-4FBC-BA6B-34D13DB88EB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"74042fea3cb334f372a654fdda60d0266fa72f7e","datavalue":{"value":{"entity-type":"item","numeric-id":5382576,"id":"Q5382576"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6978baccf31e526d2f3bd8d72d8c7238c519cec9","datavalue":{"value":{"amount":"+0.8776429","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4027734$A9956ED1-DE3D-4C4E-930A-A10E070CA8F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f3d39c0deddf183a1a724873d208e6313def9562","datavalue":{"value":{"entity-type":"item","numeric-id":2720051,"id":"Q2720051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4eb4cff71fa64c9876164db7b2a962b7a412fdbf","datavalue":{"value":{"amount":"+0.8753196","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4027734$11E5FB50-D58D-4905-9C2B-8EE7701B7831","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a6379d4c3ffe98e94ae18c35ef52109cfd1cad6e","datavalue":{"value":{"entity-type":"item","numeric-id":1817091,"id":"Q1817091"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"075f224dc05117145fa9d5fa1b03ca3e628ddcab","datavalue":{"value":{"amount":"+0.8719914","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4027734$579FDAFB-9442-4139-9FD0-2102DBDB60A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3b1f67eee6e1925d5f66188dac6e29cec8615459","datavalue":{"value":{"entity-type":"item","numeric-id":4027733,"id":"Q4027733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fe2d8c030cf95c96c2bbd6a4d62e9c6b1e2230c3","datavalue":{"value":{"amount":"+0.87107","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4027734$133F12C7-E338-4F5F-B2C3-19846D5E4F1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"16e09e790a4f9a1be97b51a544c68ba62a35db8d","datavalue":{"value":{"entity-type":"item","numeric-id":4729757,"id":"Q4729757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e337d4f3c39725b5bf83b1fbade2fd40f2d43d9d","datavalue":{"value":{"amount":"+0.8700607","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4027734$34220952-CB5A-4763-96A5-82419F76D058","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2758dff8deafb3580676b0f02b94ab40c473e543","datavalue":{"value":{"entity-type":"item","numeric-id":1183584,"id":"Q1183584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e337d4f3c39725b5bf83b1fbade2fd40f2d43d9d","datavalue":{"value":{"amount":"+0.8700607","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4027734$C3548DC5-1F32-425D-B496-87D9783E90E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e9375a7521c2d52bbc50ae05ed035f60d2abcb47","datavalue":{"value":{"entity-type":"item","numeric-id":3578392,"id":"Q3578392"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"898c91c3d7b8443c296b20c0e8d0b7e0b516d6c3","datavalue":{"value":{"amount":"+0.86893123","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4027734$5CD6E56D-2233-4859-8766-E8036E90771B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4027734","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4027734"}}}}}