{"entities":{"Q3789533":{"pageid":5819439,"ns":120,"title":"Item:Q3789533","lastrevid":52755896,"modified":"2026-01-23T10:44:08Z","type":"item","id":"Q3789533","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4053579"}},"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":"Q3789533$D1F9791E-8BA7-4472-B131-ED2CE5985298","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bf516790c67dfab2f39b47ab82aad5ef22bf61fd","datavalue":{"value":"0646.03023","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3789533$79C8E552-FE72-4CA2-B126-1B02AA11A71B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"eae9856a853661aedd9db894c11e02d2d3937953","datavalue":{"value":{"entity-type":"item","numeric-id":3316582,"id":"Q3316582"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3789533$D3864FFE-5DCD-4F06-A71D-76F1C2DE70F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"acad781715ce669706a7cb1cbd5808444dc582a6","datavalue":{"value":{"entity-type":"item","numeric-id":1181722,"id":"Q1181722"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3789533$70494FA4-FEEC-4E22-9412-9B19A3C87855","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5ae48c61eed19d1e1e1f33f9255d5b329362d064","datavalue":{"value":{"time":"+1987-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":"Q3789533$A4511325-7971-44C0-BF2D-41FBFC01148D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3789533$F2F4DC75-3946-4A58-B47D-0E0F5E49793D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3789533$00AEB2B3-F8AC-40C5-BB4C-B7F9EEEF8755","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0f3573316be0a0d9830be4170a3e0314ffa0297a","datavalue":{"value":"4053579","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3789533$C7FC29D2-4BB2-47F5-BF87-C9E3907B2642","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0b39bcd33ba55d4227ecae1456f6e1430405ab2d","datavalue":{"value":"programming logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3789533$B2B1BA3C-B09A-43A1-8DF9-1F388DADBC8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4a1a1b4de2f6601636779c475343b36943870036","datavalue":{"value":"first-order temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3789533$0D304256-2689-440A-981C-1332151F8E4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d5451083c7e435a3cf7f4a43bd32b2ca15a42f0d","datavalue":{"value":"first-order dynamic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3789533$79319058-1B0C-4E68-B900-F114DD09FF58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8649681bd6e022af57b527d538b7a92c7e6b6e88","datavalue":{"value":"Hoare logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3789533$32A17CD5-E67E-41A0-B69F-81124C4B237D","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":"Q3789533$D715B0D2-8F1D-484C-B5C1-1A598EC99363","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"edbc2b31d89bf3df531be321cfcf2c9b0ca19760","datavalue":{"value":{"entity-type":"item","numeric-id":3316583,"id":"Q3316583"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ae97c400b6720664329b8003695bb04972e5d806","datavalue":{"value":{"amount":"+0.8013334274291992","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":"Q3789533$1FC5451F-44C0-4BC0-8600-3C010369A245","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b4adf198757e8cb84c79e718d1bc35c4b3583a29","datavalue":{"value":{"entity-type":"item","numeric-id":1090673,"id":"Q1090673"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b3d06baf4167c62bd81ba2b280cba6684bfd7589","datavalue":{"value":{"amount":"+0.789943516254425","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":"Q3789533$488B606E-F733-4F29-A589-C1E0DD46207C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"21dd37c41e1b798ce42fe7cd6ee278bf06601416","datavalue":{"value":{"entity-type":"item","numeric-id":3739112,"id":"Q3739112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b4e008bb351a4e19155d6d3328fca55a3d309f19","datavalue":{"value":{"amount":"+0.7862328886985779","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":"Q3789533$D199C519-CF94-42F1-9EAE-15CBBB5926D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"faf473c9db566695247ab3f0587faa9d503c8c5d","datavalue":{"value":{"entity-type":"item","numeric-id":1102941,"id":"Q1102941"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f9a859d5220ab0a3f0ab82d63b95bc881ae725ab","datavalue":{"value":{"amount":"+0.7781375050544739","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":"Q3789533$B33B2D15-E653-4B20-9A31-A8F5D0F766BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"de04484ac7efe84ce866ef0f79be7e1aaabeaed3","datavalue":{"value":{"entity-type":"item","numeric-id":1123184,"id":"Q1123184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"653aee5defdd975eddc19dc0616c46efaf7dd8dc","datavalue":{"value":{"amount":"+0.7725828289985657","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":"Q3789533$C585B743-7E76-40D6-8FAD-F88957D4654C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3789533","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3789533"}}}}}