{"entities":{"Q4712650":{"pageid":6742227,"ns":120,"title":"Item:Q4712650","lastrevid":46209082,"modified":"2025-12-24T07:54:45Z","type":"item","id":"Q4712650","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4766"}},"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":"Q4712650$108A0ED9-C50C-4467-A181-8B79B46DD349","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9f62766234de3f2913e21baf7b4f43d9b9b90826","datavalue":{"value":"0744.68102","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4712650$9D79E58D-A4AB-4699-9E84-8FEEA269DB67","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ddd65e421cdf5089f62a705995b7921eb32b8441","datavalue":{"value":{"entity-type":"item","numeric-id":610395,"id":"Q610395"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4712650$227F3D7D-7748-425F-A6E2-E8528175F8D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"64bfbfd1114669cfc61de475a2c16b2597ff379c","datavalue":{"value":{"entity-type":"item","numeric-id":610396,"id":"Q610396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4712650$A6E0EEEB-0347-4700-84D4-FBCE80D75C56","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d3f790682a6be4cc1f3210e15eebe1d6cc5ffbc2","datavalue":{"value":{"time":"+1992-06-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4712650$727599FB-377A-4D13-951E-B5193F7B6BE5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4712650$7C01F61D-5AD5-4230-B19B-21EC90E48A3E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2071daf625bfad50fd5858b8d72e49e255d68c7b","datavalue":{"value":"4766","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4712650$9813672F-E5BC-4CFF-9CD9-3F278E753AD3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0b4edd263037f704b07572bd01208dfa1060802b","datavalue":{"value":"requirements engineering","type":"string"},"datatype":"string"},"type":"statement","id":"Q4712650$FAA3F26A-A07E-4205-AD15-CEAEDBAED1CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6d39c37de1b1dece00cf1db3b6c43bddac270415","datavalue":{"value":"specification testing","type":"string"},"datatype":"string"},"type":"statement","id":"Q4712650$09C75589-C43D-4FAD-B4CD-0DB361ADB1CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b1b211b4dd569b746945e55556358ad5d7610f9a","datavalue":{"value":"specification language","type":"string"},"datatype":"string"},"type":"statement","id":"Q4712650$367B4D22-AA64-48BE-B763-6403DD578659","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6479daa5f5ab95f65d88d8ab7b289dd34cf436e6","datavalue":{"value":"model-theoretic and proof-theoretic formulations of general logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4712650$3318F4B7-1E20-41FD-9F29-2A52DD1C44B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f9c863a33447f7eef940685a2f47271a9fe532ad","datavalue":{"value":"algebraically-based logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4712650$ABCF9D39-EFBF-487E-AB82-ECB2729390CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3620f2c0ce7db5b0aa82c2adc009f97bb5e343a3","datavalue":{"value":"complex heterogeneous logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4712650$8F936FC4-2D24-4612-9283-2805387EA6EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d18de2b67c7103e916f927c66c71574e5d863028","datavalue":{"value":"methods for proving the correctness of implementation steps","type":"string"},"datatype":"string"},"type":"statement","id":"Q4712650$FACC8BD7-8CDA-4810-9321-022096BCD2EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"07545e3190c10d222c4524317f97cc37cdf2b23f","datavalue":{"value":"behavioural equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q4712650$01365CC8-9612-4EDE-B64C-AB76A0C546C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bd8f92e30caed2b2ae5df42b839c0deee1663c08","datavalue":{"value":"theorem proving in structured specifications","type":"string"},"datatype":"string"},"type":"statement","id":"Q4712650$C0713BB4-7F55-454F-8016-202B17795EFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b895df330f0ae13975c56dd7603dc4acce9a9155","datavalue":{"value":"support formal program development","type":"string"},"datatype":"string"},"type":"statement","id":"Q4712650$CA43E206-3014-491D-84CC-CD15D7B5206D","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":"Q4712650$5DDA69F5-B43E-4064-8D33-F8E461FCFA19","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"77bd346301855d5e91d0ca5b1b876d1cf07663ff","datavalue":{"value":{"entity-type":"item","numeric-id":1377322,"id":"Q1377322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0e57f2f81b06ed78ec86afbb89425b7d0e4e5342","datavalue":{"value":{"amount":"+0.7934595346450806","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4712650$4C07A63C-04E9-46C0-8F48-2FC16F5124E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3b10dd6efcad95784ec5416d36b9a1b91b05b756","datavalue":{"value":{"entity-type":"item","numeric-id":3707381,"id":"Q3707381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c6832fbff16c095ec7e0ee72d79cf5b9e8f1195e","datavalue":{"value":{"amount":"+0.7841681241989136","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4712650$F1DE3850-4585-42C2-AA19-FF0DEE703C59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7a7f78d6a51318cff6f69154e077f6c9bb7c2aaa","datavalue":{"value":{"entity-type":"item","numeric-id":5204355,"id":"Q5204355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6c76d6481a213f3f5c31233f300e4a24028e8a12","datavalue":{"value":{"amount":"+0.7640489339828491","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4712650$F9B91A53-0975-44F9-83DD-CE1F1C329A84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f8ca8840e5358709ccdbd3bd9abc41594bb630d6","datavalue":{"value":{"entity-type":"item","numeric-id":583876,"id":"Q583876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8758052398fd30a7a23a52753376c7e413952f13","datavalue":{"value":{"amount":"+0.7636430263519287","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4712650$CD323D90-753F-4544-9DA3-4F568C26EAAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6b03667700a933ce52cb3a50d828d4220df0e227","datavalue":{"value":{"entity-type":"item","numeric-id":3339261,"id":"Q3339261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"732b6c6873ec3c816a0e85815761d7837d9bdc2a","datavalue":{"value":{"amount":"+0.7619270086288452","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4712650$669337FB-2204-493A-870E-26077FCA578E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4712650","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4712650"}}}}}