{"entities":{"Q3832541":{"pageid":5862447,"ns":120,"title":"Item:Q3832541","lastrevid":54478172,"modified":"2026-01-27T03:58:07Z","type":"item","id":"Q3832541","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4108727"}},"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":"Q3832541$3DEAEE7D-33EE-479E-973E-7BA5B17556F5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b4597f2d54752a9b64e3b40831f6358d50c2c8dc","datavalue":{"value":"0677.03012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3832541$2EB19BD0-57EB-4027-88EF-5AD513486DF8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"00e4afc18902a1591d00a05876e3070d819defde","datavalue":{"value":{"entity-type":"item","numeric-id":1028968,"id":"Q1028968"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3832541$1B307155-1999-4FE5-BA03-C3AC3FEE7005","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"31a1937240ca4a323604b4728c31d242b5596d7c","datavalue":{"value":{"time":"+1988-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":"Q3832541$97C7AB3D-72E0-4C9E-8673-5FCA5703AEA3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3832541$4B5805B6-3D54-4EBF-80C0-E5518AC59C5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3832541$C492A19B-E6C6-4AD9-84B5-578DE17E550F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3832541$68926A38-54DF-46A1-A399-640AA9131D9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed0e9d16aabdfc4de2754948a872b6ceb30bba56","datavalue":{"value":"03C90","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3832541$74EAD43F-6755-44B1-8DDE-9C168FE40063","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3832541$0B8F75D8-5975-4E5C-AC99-697FF9E297C0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f78b2edb4260f3c26a3967e943ffef5247969a2b","datavalue":{"value":"4108727","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3832541$C2CD91C9-E8FD-4F46-AA88-CBF630D214DB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3832541$10F7F9FF-D306-4E44-AB02-04369308D2C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22636d30a3227a24c9bccc2c4a01045a6ac4c180","datavalue":{"value":"behaviour of concurrent systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q3832541$108841FD-45C9-45C7-87A9-60A479697B5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1c2ac2883b93bc6d38f9b54353e42de243081356","datavalue":{"value":"propositional modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3832541$2C271E79-4B49-45B7-900E-F060F12D9F2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9543d191890c3fc35c2b31a437a879636e45869b","datavalue":{"value":"event structures","type":"string"},"datatype":"string"},"type":"statement","id":"Q3832541$FBB0FCC8-751D-4ECA-B6D5-55E2769AAC20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fc481c9956349136fb46ebae74b8442d2d25b871","datavalue":{"value":"finite model property","type":"string"},"datatype":"string"},"type":"statement","id":"Q3832541$A0241C34-A1EE-4224-B7B1-DCD8F893348E","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":"Q3832541$4E2B3913-0589-438B-94B0-3C1B7771DC90","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f78c49f4b4a66df2586211b7197dd5cb5fe56a26","datavalue":{"value":{"entity-type":"item","numeric-id":4694252,"id":"Q4694252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f5bad60f5d71e07f84653e70422d32de406082f","datavalue":{"value":{"amount":"+1.0","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":"Q3832541$398959F9-3372-49E9-9865-5B66DB66480C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1086c2817f97037e1a74fb23f77d9dbd95ff1a23","datavalue":{"value":{"entity-type":"item","numeric-id":3356298,"id":"Q3356298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ce5fdc7ad8fdf3e05dc4cd2d4947cf6a11d3135d","datavalue":{"value":{"amount":"+0.91715384","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":"Q3832541$23E19FA1-6792-479F-8A4C-3BB3CEB4F30D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c4c69860fc2e6fa162f5652e438785fa228faaf8","datavalue":{"value":{"entity-type":"item","numeric-id":4316294,"id":"Q4316294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"65cdeb3b8c8fc192728f94d6cb8b6606af666a7e","datavalue":{"value":{"amount":"+0.9166006","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":"Q3832541$E70A5EEA-B336-4BAE-BE9E-663A829CA888","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dd39d21a7d9943d2388531f57e9f39530d785cea","datavalue":{"value":{"entity-type":"item","numeric-id":2457610,"id":"Q2457610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"82fe119886f371d05ac7d7cc5a7511481a5012c4","datavalue":{"value":{"amount":"+0.9099243","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":"Q3832541$257D4044-FC05-4B84-A589-F8E3BC081D03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"57d106f95262d388d6a695fd3626ebcfb19f161a","datavalue":{"value":{"entity-type":"item","numeric-id":3043824,"id":"Q3043824"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8a6339c0bc3e369ebde3813a1347bb13c19bd145","datavalue":{"value":{"amount":"+0.90972924","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":"Q3832541$98DC3AB2-0BD9-483C-B20F-307CBC2FA106","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"31dbfbfc322c1d1887678aca81fb2b624d659943","datavalue":{"value":{"entity-type":"item","numeric-id":5020577,"id":"Q5020577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"35544def8c36c51db99be03c017241b1431b2053","datavalue":{"value":{"amount":"+0.90949786","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":"Q3832541$CBEC5D66-A8C0-459A-841E-78353C96EEF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"92a67e363680c02d17936ed37d33b2bef54e39bf","datavalue":{"value":{"entity-type":"item","numeric-id":5190784,"id":"Q5190784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bfda044982bd06e41898fd49b3d2b541d7274dd1","datavalue":{"value":{"amount":"+0.90910745","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":"Q3832541$5856B8D0-4089-4E23-B831-262FC2AF1AA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7ea108dc4d3486b75416193e20af0acb78b75a2d","datavalue":{"value":{"entity-type":"item","numeric-id":6165037,"id":"Q6165037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"12b5c5452315c05aebe77522481fd230fce63c78","datavalue":{"value":{"amount":"+0.90697086","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":"Q3832541$80E23CA8-6ACA-401B-856F-5E588F4656C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e2782ca6af719f90715187e70afe4c9afb53ea26","datavalue":{"value":{"entity-type":"item","numeric-id":5217304,"id":"Q5217304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2de8a7af2e89bc7be56a37aefd180a3410be3f3c","datavalue":{"value":{"amount":"+0.9052737","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":"Q3832541$3F9DDF36-3F56-440E-848D-A42ADA10AF2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"71ef9c90a8e134aec9e62ba2a093e7385752a718","datavalue":{"value":{"entity-type":"item","numeric-id":6487400,"id":"Q6487400"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d067322618a937e33325a200a9ff42102d433a8f","datavalue":{"value":{"amount":"+0.90374875","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":"Q3832541$469E6673-B736-4E04-9391-A8303F9824B7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3832541","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3832541"}}}}}