{"entities":{"Q4184271":{"pageid":6213872,"ns":120,"title":"Item:Q4184271","lastrevid":28403173,"modified":"2024-03-05T13:37:25Z","type":"item","id":"Q4184271","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3621083"}},"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":"Q4184271$787841A3-9D2A-4BC6-8331-902D4389F023","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"da6d41111edf6e981aadaee9849a64bc3de76485","datavalue":{"value":"0399.68011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4184271$1F5B3D4A-D194-4AA0-85C0-B9295EC82ACA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"61bbc78c1b7610867fb29e19dbefbb3c9f1b8b60","datavalue":{"value":{"entity-type":"item","numeric-id":1067766,"id":"Q1067766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4184271$C1F0551B-CA3C-4F41-B4DA-75C5D6E6414F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a675c9ba1110890198466d272d4f1027576a1ba9","datavalue":{"value":{"entity-type":"item","numeric-id":1249428,"id":"Q1249428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4184271$B3C38A6B-7AAA-4462-B8B1-7A88183942BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ec84aad04fb2257252d897d6db096ce48f0e4201","datavalue":{"value":{"entity-type":"item","numeric-id":218037,"id":"Q218037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4184271$D2FF48A8-CD2D-4F53-9194-D3ADE7150C1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a202ea570d5d1ae1a67823294f62c2b4eed2e045","datavalue":{"value":{"entity-type":"item","numeric-id":1843169,"id":"Q1843169"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4184271$C3BD80FA-6909-4640-ABF2-B768249EEEA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2a7b8e979b680be8a0b6a23b0c48083fa2eb8bb4","datavalue":{"value":{"entity-type":"item","numeric-id":1067765,"id":"Q1067765"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4184271$A3BAC9D7-47BF-4A5C-B7C4-6C517E44AC9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b9d2d5b01eac9c1e85447cff2c9d5feef38aebc0","datavalue":{"value":{"entity-type":"item","numeric-id":1249427,"id":"Q1249427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4184271$CFC04108-A10B-4384-825D-9D7563C3B050","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":"Q4184271$0BBECDA6-D92F-4979-B5E0-6A9B8B68F6F1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4184271$18FD8791-6D37-4240-BA4E-29839F42AD4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4184271$2847EF45-5128-49F4-882D-012157E3DBC7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e63e9c77356bb43a15ec0a6d7330fbc455672cec","datavalue":{"value":"3621083","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4184271$864A7E82-39D7-4079-99AF-476A8D8456A8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"935925d58ef34e55389c37b8a3b0324e4ad21ed4","datavalue":{"value":"Proof Rules","type":"string"},"datatype":"string"},"type":"statement","id":"Q4184271$81FD36F3-C5F4-4C54-955B-B4B4A85DA504","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bebca7b253f9cc0340526433a3158fb69e77f4bf","datavalue":{"value":"Programming Language","type":"string"},"datatype":"string"},"type":"statement","id":"Q4184271$F30873B3-1B02-40B3-BFD6-8F45B1EFE434","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"405d22313d36d17c61df514d46a3e5c107c22fe7","datavalue":{"value":"Hoare-Style Proof","type":"string"},"datatype":"string"},"type":"statement","id":"Q4184271$CB586B34-BCFD-4C92-B396-296784EE51C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5e3fe196543e16afad6ea49179487ab6a48fd9bf","datavalue":{"value":"Euclid","type":"string"},"datatype":"string"},"type":"statement","id":"Q4184271$D0288BBA-480B-4C56-A6FD-D77566FB5A5D","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":"Q4184271$32CB361E-5B54-4FF9-8A81-613C5B4E1885","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4184271","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4184271"}}}}}