{"entities":{"Q2280210":{"pageid":2290953,"ns":120,"title":"Item:Q2280210","lastrevid":73028598,"modified":"2026-04-14T09:30:28Z","type":"item","id":"Q2280210","labels":{"en":{"language":"en","value":"Assembling a prehistory for formal methods: a personal view"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7144305"}},"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":"Q2280210$195A0CBF-E30E-4748-AB97-2235639D7EDD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8d0a7a27977a49c169feac9389819707c68dc16e","datavalue":{"value":{"text":"Assembling a prehistory for formal methods: a personal view","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2280210$8071A5D7-39E9-451C-95CC-0E0F39B1AF03","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a7ff5ab1ffae5cd1e14593395fc4c3f7e574d765","datavalue":{"value":"1427.68009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2280210$B5A03F47-4FCA-48C2-9D91-C3405ED1E301","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ff3d55e0e29dd810f2ed51a635af8e6917d4c0fb","datavalue":{"value":{"entity-type":"item","numeric-id":2280209,"id":"Q2280209"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2280210$2D4AA5B4-1E78-410C-8993-DBA6B1011747","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d9925518446645d219093152a820aba790417b61","datavalue":{"value":{"entity-type":"item","numeric-id":164203,"id":"Q164203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2280210$73E61AF7-B11B-4E5F-B462-43FB262818FA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2f6772b50db402e319131e91836e24f594dd3ca2","datavalue":{"value":{"time":"+2019-12-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2280210$2CF0F9C4-3D33-48E0-99E3-A54B69412F73","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"540259e42205310d3310d3dad9dbe9ae50303b84","datavalue":{"value":"68-03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2280210$EA30FDFA-7C47-4846-9506-9825CD19E46D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2280210$10D68653-BE5D-48CC-9554-1503870592D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2280210$B223C041-31E1-4D31-AD96-580F6F530B35","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ef882d464caab3744c2932ca6f0e20ebae49dcd5","datavalue":{"value":"7144305","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2280210$8B37A62C-2F4E-4B83-A665-D7806B0428BC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6956097331f21bc3bcc44dbe56d116bfeab59d69","datavalue":{"value":"history","type":"string"},"datatype":"string"},"type":"statement","id":"Q2280210$DB14F2EE-131E-4EB5-81CF-3F93C95120B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f02f4db7bd17ba3fbae1be6bcee13dc9e5aa86bc","datavalue":{"value":"formal methods","type":"string"},"datatype":"string"},"type":"statement","id":"Q2280210$C093E708-9842-4A8F-AC4E-8A173BBCFE1D","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":"Q2280210$1F327A4D-E4BD-408E-9F71-DF646B2A92C2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"82075f7a41d041c62cb8190ca80ef25fa56d1961","datavalue":{"value":"https://doi.org/10.1007/s00165-019-00494-z","type":"string"},"datatype":"url"},"type":"statement","id":"Q2280210$7525EBED-8CE2-4F56-848F-AE56845AFC0E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f21f585cd534442ac48f7afcd475d89dfa144ebd","datavalue":{"value":"W2975171881","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2280210$92552EA0-B1B6-4909-8300-80BD1630A33E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b82a437a8616c57f4893e4e97184a21bdca37b7d","datavalue":{"value":{"entity-type":"item","numeric-id":2558280,"id":"Q2558280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2280210$08A606BD-968C-402D-BD78-A6925E9419D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ccdd4039390b89be98f162a7f08c84d89b026937","datavalue":{"value":{"entity-type":"item","numeric-id":5684216,"id":"Q5684216"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2280210$F7DB58DA-36A6-4628-B0AF-05E69C4F8CBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e17d59c49f5d9bf8e2d481794759aad052d9e648","datavalue":{"value":{"entity-type":"item","numeric-id":3460891,"id":"Q3460891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2280210$E51E6F60-B987-48BF-84C3-84197466BF32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d01f729510952ccecaea7f3631e949bc0439c415","datavalue":{"value":{"entity-type":"item","numeric-id":4173321,"id":"Q4173321"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2280210$D575BFFB-95A4-4052-92D0-EB06DCC88FD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"18ac860696e668a9ea3bf009a3485e439b6a4bbd","datavalue":{"value":{"entity-type":"item","numeric-id":3859249,"id":"Q3859249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2280210$ECB7D3F4-9B80-4083-B511-90798353844C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"83e646822c7e8f7e68867ade26f59c8b15d8260c","datavalue":{"value":{"entity-type":"item","numeric-id":3707340,"id":"Q3707340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2280210$6B98AA95-C9A7-41FD-8058-35D2E3D3D9D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a49cfd6942550ad4a0d31d13bbc5815a4eee0ee","datavalue":{"value":{"entity-type":"item","numeric-id":3154457,"id":"Q3154457"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2280210$EE9E6A75-1B7C-46AB-ADA4-24F82DDD0383","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"244469218da2c6dba3104cfbe08faa9011234f8d","datavalue":{"value":{"entity-type":"item","numeric-id":625111,"id":"Q625111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2280210$C3F4F9D8-3074-471F-9494-F411B68B6E6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"57c35eb97d58d4d269169e681bc02846d3aa8512","datavalue":{"value":{"entity-type":"item","numeric-id":3965547,"id":"Q3965547"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2280210$60875DD6-8629-46DE-9960-ED76F99C0D43","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"603517c262305a6fe65e904465a9dd90ca6f3a32","datavalue":{"value":"Q127208854","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2280210$769F822C-24E4-482D-9E8A-C50E50877E73","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3f0942b65cd311692076b89e6c2b296e4a6e0092","datavalue":{"value":"10.1007/S00165-019-00494-Z","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2280210$4F0EAD7F-864F-457D-95AC-10566B19CCF6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4b0c8b08dc988df55193956a39b297dcdfdbd9a0","datavalue":{"value":{"entity-type":"item","numeric-id":5165474,"id":"Q5165474"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a34bd7bcf48a6d8579a489e6f2b7c5e88de6bf10","datavalue":{"value":{"amount":"+0.82904106","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2280210$84D557E7-A906-4ED5-9F99-4A629881DD6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"90ce327f825f9110269af62f15b672a79241c51f","datavalue":{"value":{"entity-type":"item","numeric-id":4499186,"id":"Q4499186"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2124e79ee5a9499242d850db49e82eb5f2adf322","datavalue":{"value":{"amount":"+0.82460177","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2280210$EB4600BB-F7DF-41AC-9763-3D17DEE88238","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8e44d482f3988f79f63d022819d6b2983316ba12","datavalue":{"value":{"entity-type":"item","numeric-id":5957893,"id":"Q5957893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"492e4a979c379ee4bb219b7a136bd4066280fe37","datavalue":{"value":{"amount":"+0.8218872","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2280210$AF72546B-FDB0-4ABF-98A8-F634630DE903","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"86329c6c4b5094e0be9173963abba6152563b9bc","datavalue":{"value":{"entity-type":"item","numeric-id":3423380,"id":"Q3423380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"121b27a8dc4f6451d725b4e5d3cf7d4a243a6af4","datavalue":{"value":{"amount":"+0.8177005","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2280210$EC43D296-8F3B-4811-9128-2B5379B823CE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Assembling a prehistory for formal methods: a personal view","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Assembling_a_prehistory_for_formal_methods:_a_personal_view"}}}}}