{"entities":{"Q3707381":{"pageid":5737287,"ns":120,"title":"Item:Q3707381","lastrevid":50486648,"modified":"2026-01-14T04:32:33Z","type":"item","id":"Q3707381","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3936493"}},"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":"Q3707381$FC921E4C-BFF1-484C-92E1-8333DAA6584C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1f0d023c1ea875b52c09e5924345da8f40c20103","datavalue":{"value":"0584.68036","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3707381$F5E1F60A-ADA5-4F57-A5DD-6E85975033CA","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":"Q3707381$0B8B0349-C908-49F9-AABE-996B5AC3161F","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":"Q3707381$F287DAC9-7CBD-43FF-8409-84C7EE1BDB45","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3c94df5c9af0ede578c52141befd29044de13172","datavalue":{"value":{"time":"+1985-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":"Q3707381$B2CCF3C0-9F6B-41CE-831E-7FC93EE2CFB0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"14cf74de25853c940589b125137b792dfb2d092b","datavalue":{"value":"68P05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3707381$E426F306-8EF5-473D-BAF1-F51D01007014","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3707381$9713F705-0CD7-4BA5-A1D3-743001D139E2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d6ae3b6c656604a44c608d0d0a110e370c58d3db","datavalue":{"value":"3936493","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3707381$38577CB5-3554-41F5-9088-A7A8801DA85B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"47aefda07ac5d6e74103bdf2455b1df41b0e324b","datavalue":{"value":"algebraic specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q3707381$AE29059F-D321-487B-BC53-EBE68A852722","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"100336e59ffe810f6eb92fc3a35315a7e797f99a","datavalue":{"value":"specification languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q3707381$EFA687E5-023C-441E-AC2B-61F7C0574EF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7095080150d0f202dd09e530c308d77d01947ca","datavalue":{"value":"statement","type":"string"},"datatype":"string"},"type":"statement","id":"Q3707381$3E16BB3F-90F8-4D58-B46C-3416BB0B5F5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"88a9f9f32f12a33241ca1a8b54c96cbc6deab43d","datavalue":{"value":"behavioral equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q3707381$C85EA6CE-4EDA-4373-A5CC-6924E8704EC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ca00d4ac836a993aee1e589b12518a7f6ed3c39d","datavalue":{"value":"evolution of programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q3707381$577ED5EE-ADE7-416D-8A2B-23F51E56DE3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6a49d2691740729e2dd9c1c611233c1d06693479","datavalue":{"value":"stepwise refinement","type":"string"},"datatype":"string"},"type":"statement","id":"Q3707381$4D07E5DA-7797-4219-9D6B-207515C67CB9","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":"Q3707381$A9645B9C-BA4F-4DA6-A3C2-2431833EE579","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":"66d5c90234473cd54e19720ba2733a9596d3251b","datavalue":{"value":{"amount":"+0.8372883200645447","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":"Q3707381$026BA5BE-3E7E-4ACA-8DEA-AE94C573A6AC","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":"3c2baf85430155a6b29ef1b76382c50ee7f4eed1","datavalue":{"value":{"amount":"+0.8166772127151489","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":"Q3707381$CA2A71F7-2DE3-4547-9145-097039225049","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e81cec37c0e68de0d9463feb368504c2c0487817","datavalue":{"value":{"entity-type":"item","numeric-id":3031906,"id":"Q3031906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1865440270be69de736a588085b5ab28eb28ff9b","datavalue":{"value":{"amount":"+0.8069496154785156","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":"Q3707381$96B75ED0-4711-4121-B003-78A93625FA8E","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":"4dcaf0b0e8d969dfe390ce18e410a899f92bd7c5","datavalue":{"value":{"amount":"+0.8014550805091858","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":"Q3707381$537ABBE1-9A02-4546-A066-37850AC9882F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0d92728163ef8814b91c61509816f05e77dc01ac","datavalue":{"value":{"entity-type":"item","numeric-id":3129296,"id":"Q3129296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5b9750dc8086e838c03903dbdcf32e0e0c085f26","datavalue":{"value":{"amount":"+0.7936856746673584","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":"Q3707381$38649723-DD58-4F76-B21C-F468E322B920","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3707381","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3707381"}}}}}