{"entities":{"Q4193440":{"pageid":6223041,"ns":120,"title":"Item:Q4193440","lastrevid":28409748,"modified":"2024-03-05T13:39:15Z","type":"item","id":"Q4193440","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3632451"}},"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":"Q4193440$FB5B68B5-691F-4481-92A9-097B107D535C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a05d95de20cd36c419dfe2fef5b889aa20720fda","datavalue":{"value":"0407.03034","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4193440$CD6D720D-DB9E-45DC-AFA5-C67D22053877","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"857c2c80c4cd84e545d0cc0f92387a21b7c9d079","datavalue":{"value":{"entity-type":"item","numeric-id":227769,"id":"Q227769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4193440$C6DDEC58-3DA1-4DA1-BF66-503BB5F9B1C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"097dc9470c2945b47145802a7f80950df654abb7","datavalue":{"value":{"entity-type":"item","numeric-id":787977,"id":"Q787977"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4193440$868DFA1B-8CF6-4AC7-97FA-5D7EE26DB0AA","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":"Q4193440$FB7DD3E9-3A90-4619-8793-DBF869EC3A48","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"89a6721807d2106ad3a18783b4fcbc004e6a56c5","datavalue":{"value":"03B60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4193440$DC91C17E-6308-40EC-A9EE-D051DD23E5E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4193440$B3E5EED2-0D86-455E-801E-73E783648462","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4193440$4BC5A1EB-DB9B-4BF9-9F93-4302823DC414","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d40823595f671f8f347825fd0adc1e31ebeb184f","datavalue":{"value":"03C35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4193440$FE7352F1-E15D-40F7-9471-42C1676AA523","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"795a2dabc39c2d851f78d15aa957fc129efb0f5f","datavalue":{"value":"3632451","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4193440$4807F8EC-A299-4BE3-985B-EA2663D4DFBB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8d8c21388f0b8f1c26998acc38833ea7392f3d5d","datavalue":{"value":"Programming Theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4193440$29DFBAC1-07B2-4FB4-B3DB-C016047F34C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4c95bc5ba7fac2ac993edf3860c6a825cd59c13b","datavalue":{"value":"Completeness of Floyd Logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4193440$A294F151-975F-4F21-AC62-F02F6A462B4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"37775ff7ad18eb24c7a8bc970b100b74f9de32ec","datavalue":{"value":"Formal System","type":"string"},"datatype":"string"},"type":"statement","id":"Q4193440$B18764CB-B2B6-49ED-AD05-EDF2FC92DAC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f332146aa95dd9d130531b178a386c5e1f03b5b3","datavalue":{"value":"Floyd- Provable Programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q4193440$A4E07310-F7DD-49D0-A3B1-7838D0081C0C","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":"Q4193440$EC276473-9401-4D8D-8EBB-2144D71CADBD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4193440","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4193440"}}}}}