{"entities":{"Q4173344":{"pageid":6202945,"ns":120,"title":"Item:Q4173344","lastrevid":28398674,"modified":"2024-03-05T13:35:35Z","type":"item","id":"Q4173344","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3607998"}},"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":"Q4173344$BD24E314-3F6C-42DC-886E-6FF39731AE67","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a65b5a8e3173cc56438196ea6e35237444c81976","datavalue":{"value":"0392.03017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4173344$6915545F-CB44-4935-B1B3-65FB88D88265","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6e99c5cadeb49ba2d1164b9f9e186439f77825dc","datavalue":{"value":{"entity-type":"item","numeric-id":230000,"id":"Q230000"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4173344$2E8BE402-95FD-4A41-A71D-F96AAC1D6971","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"23512e79b17ec0dbe00d89a570006ab4e1ecd403","datavalue":{"value":{"time":"+1978-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":"Q4173344$9777BC12-0B7F-4B0E-BA7C-AEBDB8B5995B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4173344$531511CB-3C07-4459-B1A0-580F8D6759B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4173344$3810F210-6E7D-44DC-A7A4-8FEC2243D989","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"89a6721807d2106ad3a18783b4fcbc004e6a56c5","datavalue":{"value":"03B60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4173344$7C91F296-4F32-4C8C-885B-4EDFA175105C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4173344$558ABC3C-D760-4BBE-B61D-470A5F27DE31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9ed1e3c6cced595a05b8ae19055521b22405b78a","datavalue":{"value":"68W99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4173344$FE129050-71CC-4BEE-BA47-BA19E74E081F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fa16e6e6eb3709fb2aae94d9af236bc6ce4f5a99","datavalue":{"value":"3607998","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4173344$F2C495D0-AFF4-47E2-8EDF-97978A9F0AEA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d0a006743b841834c3fe6cbd03b5e8fefb2c903b","datavalue":{"value":"Completeness of Propositional Dynamic Logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4173344$7E2778E8-15CF-4615-8952-7E5CC8980311","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1100e1d3a183a2710389caddcc197a9449b6387c","datavalue":{"value":"Modal Logic of Programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q4173344$445C94D3-9762-4D0A-92DC-A8279D45C0E0","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":"Q4173344$591C5928-CB82-4D85-8928-BB2D0BE5F9C7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4173344","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4173344"}}}}}