{"entities":{"Q4190101":{"pageid":6219702,"ns":120,"title":"Item:Q4190101","lastrevid":28413429,"modified":"2024-03-05T13:40:24Z","type":"item","id":"Q4190101","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3628353"}},"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":"Q4190101$1AA1972F-55F3-444C-820B-4AEBB55B3F35","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5199181d0b42cdb03d84b78efc52ee9c0d78cb5a","datavalue":{"value":"0404.68017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4190101$F75AF785-6AD8-469B-8E64-C3F0399D0E2E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"209ba2abb9262ee2627b025b7dc9cc61471e318c","datavalue":{"value":{"entity-type":"item","numeric-id":661001,"id":"Q661001"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4190101$5E590A53-8C6E-4405-BE8E-01F7A171F4CD","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":"Q4190101$4CFEFB47-A29B-4A92-80C4-923E30D977C2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4190101$B151FBA0-372D-4133-9EF1-6A4540497550","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e3eb4cd9c7e9c447a71e52793a35380d9f2fee46","datavalue":{"value":"3628353","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4190101$AB4E96AC-A4A3-4AB8-9427-979E1A000DC1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7d2343a5a8ef11df42c57193030af17e94e3f8b7","datavalue":{"value":"Specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q4190101$0D7A35C1-78DC-4A98-93BD-37C8ABD7D59F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ad31d75b818c1b697a23baab98be3d47b7be5d35","datavalue":{"value":"Correctness Proof","type":"string"},"datatype":"string"},"type":"statement","id":"Q4190101$BE28CD77-723C-4423-9AFE-34EC46776178","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"70e48b14552eed6f225aa1edda66c4e4adddba2d","datavalue":{"value":"Interactive Programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q4190101$5FC382E1-C251-4377-AA8F-377B97CC1567","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"87264f3d72740a9cb723414c823f8c130d6641f3","datavalue":{"value":"Floyd-Hoare Assertional Method","type":"string"},"datatype":"string"},"type":"statement","id":"Q4190101$DD2C2479-6396-4564-820B-26D9D42E9819","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":"Q4190101$74514D8D-00F6-4E7B-BD8C-E7C73533E1AC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4190101","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4190101"}}}}}