{"entities":{"Q3958436":{"pageid":5988341,"ns":120,"title":"Item:Q3958436","lastrevid":55093750,"modified":"2026-02-03T15:09:14Z","type":"item","id":"Q3958436","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3779293"}},"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":"Q3958436$BCB8BAF9-0B77-4B1E-86BD-35EFD3640A48","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1fffa60f9a0dbcd3a8b277410aa660a54db579cb","datavalue":{"value":"0495.03013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3958436$E042EF68-2AE3-4D8F-9D06-25149AF26300","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"60a24674fc3fdfdb20ce395c4f54c3ddf31dbed4","datavalue":{"value":{"entity-type":"item","numeric-id":283763,"id":"Q283763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3958436$B9BAB771-FFB1-4F6F-B69D-5DF047EF260D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"47f57cd36df9e30d446df3867dc3917e4ea74654","datavalue":{"value":{"time":"+1982-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":"Q3958436$C9A02EA0-D635-4DF5-9BCD-484361989792","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3958436$EAC9B9F7-9F61-41D2-9CB4-486F57CD7E14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"67d83a420633c5e61caca50109886be8d1d7a17a","datavalue":{"value":"03G25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3958436$553FCCDE-3B52-4ACB-9638-160993205524","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3958436$580C2D78-6B6E-4AE3-AAD8-56AF1DB7A521","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"89a6721807d2106ad3a18783b4fcbc004e6a56c5","datavalue":{"value":"03B60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3958436$E433D11B-2E84-4E52-9C55-B8FE0EF28DD1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7badb3057a8b63d88940ba9de32e9b49768a87ee","datavalue":{"value":"3779293","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3958436$7B87B73F-756A-4141-A666-D9C51D130B35","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7a5eef9a7839e51aae1829128fd74061b3797fc5","datavalue":{"value":"propositional dynamic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3958436$931AC4C9-C466-4D9C-BD26-C4926E2082DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ebc8888b6441019546eb7776ade4a1b2ca54b587","datavalue":{"value":"dynamic algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q3958436$D87CE103-8246-4ED0-B930-8562B51FDCFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a541fb31494cb4742e53089c12c7d8248008ab24","datavalue":{"value":"star-continuity","type":"string"},"datatype":"string"},"type":"statement","id":"Q3958436$6A65AE3A-E41E-4685-A3F3-BD85CC9B54FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b9dda528dd272bf75fd887a58946aad1b0a1f484","datavalue":{"value":"equational induction axiom","type":"string"},"datatype":"string"},"type":"statement","id":"Q3958436$F449B690-003C-489F-A485-88E5805CF26A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"45e481dd030794c67a6b8f8359179e95b8bf2e11","datavalue":{"value":"standard Kripke models","type":"string"},"datatype":"string"},"type":"statement","id":"Q3958436$04DDEA44-105E-41BD-A9D4-A9D409BB8989","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"355c74052cb0416ec00015e00468da5e14535492","datavalue":{"value":"Kleene sort","type":"string"},"datatype":"string"},"type":"statement","id":"Q3958436$4FC7D7B1-9335-4191-9F12-F07E2085FD67","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":"Q3958436$F3D86E46-E5C3-4944-8977-46C032EC2C5C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3958436","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3958436"}}}}}