{"entities":{"Q3674630":{"pageid":5704536,"ns":120,"title":"Item:Q3674630","lastrevid":50010403,"modified":"2026-01-12T15:21:25Z","type":"item","id":"Q3674630","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3827838"}},"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":"Q3674630$98484E9C-DBB3-4BB5-8994-5E647194F7DD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"681a797d4f8cf0055ed1426677c595e080f14058","datavalue":{"value":"0523.03024","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3674630$C6CB003A-2FB2-4C34-974D-2E14063A7148","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fa1990ed82d2dcc0a011c9a3705b5bcbb54ee1b0","datavalue":{"value":{"entity-type":"item","numeric-id":1156481,"id":"Q1156481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3674630$3B4A9567-8BC2-4534-91B9-29B220932F9E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0136733d5dd7d9f4d36f24c87a0b8375ae1cb2fd","datavalue":{"value":{"time":"+1983-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":"Q3674630$850EA00F-2D30-4A2E-B330-CEFABDB32BEF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7fd213a574edd10a6bc470cc2d78cbfa20c5eb59","datavalue":{"value":"03C52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3674630$C999BF7C-01AE-4A9A-8BC5-BBF125D93E55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3674630$A2826373-21E5-41A6-A5D4-1C0EFCB25981","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3674630$C25B5997-6743-43B0-9E62-0814DDF88EF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b04bd88a45e77f22f18ff67abebfcb580b5033cf","datavalue":{"value":"03H99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3674630$B5EB873E-5488-4D71-8D54-F96387323F01","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6032f36d1d176407fac26696c5b482aa8582933a","datavalue":{"value":"3827838","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3674630$1623DD15-23EF-4445-8D31-0E0A42B6274D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0b39bcd33ba55d4227ecae1456f6e1430405ab2d","datavalue":{"value":"programming logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3674630$2EB90C5E-E3FB-42DC-BC16-043C585A7E28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d7bfc11de8cab95fd6af201970bd9d16d39bbd0","datavalue":{"value":"semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3674630$1412E756-BA53-4FFC-B442-78218F39C686","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7a5eef9a7839e51aae1829128fd74061b3797fc5","datavalue":{"value":"propositional dynamic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3674630$90C87720-D122-431A-AD43-4922A33AE813","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9a33bfb266517f37c2893982b2b0f9fde5f7330a","datavalue":{"value":"models","type":"string"},"datatype":"string"},"type":"statement","id":"Q3674630$DD84BADB-EE5F-4A1C-8828-6CF88A1FA024","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"36391445f0f3dfece06335c9cb1fe297549dd252","datavalue":{"value":"Kleene star","type":"string"},"datatype":"string"},"type":"statement","id":"Q3674630$B52853FD-46DB-44C8-818B-1C8AA47B2B01","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":"Q3674630$4D225DBB-2293-49DF-B72B-E7781080B1A0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3674630","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3674630"}}}}}