{"entities":{"Q4184361":{"pageid":6213962,"ns":120,"title":"Item:Q4184361","lastrevid":28403235,"modified":"2024-03-05T13:37:26Z","type":"item","id":"Q4184361","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3621158"}},"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":"Q4184361$58B3985F-DE12-4C43-8369-9C3E61C9EE44","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5e0ff8e96bebd7408938086330fe3bac8babb414","datavalue":{"value":"0399.68086","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4184361$01E8D3BB-A35D-4CDA-9E35-0F61E2A8EDF6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0b87f78dda5694898cc127305eecf88680ce6c83","datavalue":{"value":{"time":"+1979-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":"Q4184361$D0CF8C1E-913F-4A5F-9A5C-88FA91F12A7E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4184361$C27B1D22-50F9-4C61-AA0E-8F167642C828","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4184361$3B5D8B41-53CD-4ABB-855D-9B9DE1D14C33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c06e0874e30722381d620ef69fb36c407a01cb04","datavalue":{"value":"03B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4184361$51DB9E9F-4051-4B10-8341-F388FA37A85E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"217e28043b583bf93ae737412241ac76ba74a722","datavalue":{"value":"3621158","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4184361$20EB1862-BD47-4A76-B116-714B80A724CE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b82a004db5c342bddcfd19c2990d49f03aee21e6","datavalue":{"value":"Automatic Theorem Proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q4184361$99B9EBDB-D28B-4613-9A72-9980491D3A2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dde291e218e390ed65af77a449380cc828e2ba16","datavalue":{"value":"Predicate Logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4184361$464C944F-F92B-4DAC-AF59-0E2FDB121935","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f7b6bb2f4b8e959546ab54fa708fd546c4f4d463","datavalue":{"value":"Derivation of Logic Programs From Specifications","type":"string"},"datatype":"string"},"type":"statement","id":"Q4184361$A5819FF2-7518-44DC-8A92-A585F571FBEB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6fb0bb13ba569405da14243569bb5cb62772cfba","datavalue":{"value":{"entity-type":"item","numeric-id":1326575,"id":"Q1326575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4184361$361F9FF1-888A-4DB4-8203-B1FDD718E810","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":"Q4184361$657DA61F-9CB1-4F10-A00F-787793167915","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4184361","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4184361"}}}}}