{"entities":{"Q4218096":{"pageid":6247697,"ns":120,"title":"Item:Q4218096","lastrevid":46656132,"modified":"2025-12-25T08:34:17Z","type":"item","id":"Q4218096","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1222559"}},"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":"Q4218096$0A6AB9BF-5944-4164-96FB-591DBD65A83B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b4d0a83e5d92097856f0551909c496b381816685","datavalue":{"value":"0942.68075","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4218096$B57EDFAF-10E9-4E9B-AF39-3289C5798A52","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"31dc98a3522cea06def52b76cde8003aebdf2e71","datavalue":{"value":{"time":"+2000-08-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4218096$72D8F44F-90F2-474C-93DB-62DB04EBBDCA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4218096$1A957DF6-D473-45F0-9845-CDC5AE167220","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4218096$386AFBBF-1933-4DED-B0CF-8E5F028CC94B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b58df756e27df0e7b4d6d54dbbfd9015b563e63d","datavalue":{"value":"03C13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4218096$7F5F555C-FCC6-47FA-807C-EDBC65A12400","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35bbdcbda53152c249a7f99650e19b5ef62999f2","datavalue":{"value":"68Q10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4218096$B89D4A1D-DC47-42A4-AEA5-DE39408B74B0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ae5726293dc3254842a6416aadb315dd6a28bd6f","datavalue":{"value":"1222559","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4218096$A221CF8D-7FF8-46F1-B07A-CFB7B63AD26C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3e04a2b734a1cac93a9ddfefc5a4de51edbfaf1","datavalue":{"value":"bisimulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4218096$BEA99EAE-C5FA-4C11-BFF5-230C9EF063E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8dccd5e5c4b7d25dbdd2638a06da96fb275d42bc","datavalue":{"value":"transition graphs","type":"string"},"datatype":"string"},"type":"statement","id":"Q4218096$CAD366E8-63E6-42CB-AEF4-756438802F80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e70d4337ccd63bd5a94b947eb4b97131d9622035","datavalue":{"value":"modal logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4218096$346AE660-2178-4B3E-BF05-7BF855AD0090","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0421a88d9599388a9af4b0e2102ab403f6c36e7f","datavalue":{"value":"finite model theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4218096$C74B999D-2420-4203-939C-D7853B8052DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6d9c2e1f00facc619242af9af43a4aae006f38ad","datavalue":{"value":"transition systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4218096$0491F2F6-57C8-450C-A8BB-BF87126D75BD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6ce81edf234ea7bfc3d1909d28c15a8f64492427","datavalue":{"value":{"entity-type":"item","numeric-id":578895,"id":"Q578895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4218096$568260E7-4FFE-4486-A1D6-6E4BF6D3D52E","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":"Q4218096$971D642A-B15D-47F7-84C9-2A5EA81072DB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f277dad969b10bf2e20a0cd1e2b00e0876a0cdb4","datavalue":{"value":{"entity-type":"item","numeric-id":4440830,"id":"Q4440830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f58ce42c0db32b58e6b31b8632f818101f74d16a","datavalue":{"value":{"amount":"+0.8407398462295532","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4218096$28ED7004-C06D-4A0E-B53D-54D439B881A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a6337a461b509d6b31fe5dea096c2530f9f773c4","datavalue":{"value":{"entity-type":"item","numeric-id":3677164,"id":"Q3677164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f1de4e26d4438fded3de3bdcedeb7645df66c446","datavalue":{"value":{"amount":"+0.7889953851699829","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4218096$B5B4FCF4-352D-442C-8916-DB09CE5BF9E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"db1873dcc86201417d0fe1d5f5cf7836f1e6f22d","datavalue":{"value":{"entity-type":"item","numeric-id":4314681,"id":"Q4314681"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"40cda2a66e09263d450c3cc3495d0430a71329a6","datavalue":{"value":{"amount":"+0.7796419262886047","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4218096$7B517A7F-3EC5-4333-9C3B-F74659F57C17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"59f72304a9e840ee56e963b75fcc6c767f8dc3b3","datavalue":{"value":{"entity-type":"item","numeric-id":5899094,"id":"Q5899094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c11fb016dd925206d8981fc13ef5b9c71197c004","datavalue":{"value":{"amount":"+0.7773088812828064","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4218096$32270806-290C-421E-8449-A9C5DAAAC489","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4218096","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4218096"}}}}}