{"entities":{"Q3757388":{"pageid":5787294,"ns":120,"title":"Item:Q3757388","lastrevid":51758897,"modified":"2026-01-19T21:21:47Z","type":"item","id":"Q3757388","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4007714"}},"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":"Q3757388$2ECAB4FA-A2F8-4C54-9FB7-0F83C1558770","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a44ce7f4bfbeea4fab7f2ae484065c0cffb6b02e","datavalue":{"value":"0621.68020","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3757388$3BB07CEF-5686-4746-83ED-6F104373C830","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":"Q3757388$20B62D47-CDD2-45A6-B8E9-26FF8CB40D2F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3757388$10CB8AAD-FECA-41AF-8623-53CF04CD0596","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"14cf74de25853c940589b125137b792dfb2d092b","datavalue":{"value":"68P05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3757388$B6AF0261-AB3F-4529-86A3-6387D240B917","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a22eb1f642cbb79777784e33676c61b720925aab","datavalue":{"value":"03H15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3757388$99A19C74-AEB1-4CDA-AE16-2D4C448258A1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"542356b9a7bbcf07d6215fe5ccd80c6f5b56773c","datavalue":{"value":"4007714","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3757388$A20D089E-C043-4A0F-9B2C-16D61D7E3B83","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cf6483e93ff0b0b0a920caa3a8bcdc780bd2e5cf","datavalue":{"value":"algebraic specifications","type":"string"},"datatype":"string"},"type":"statement","id":"Q3757388$53450B2F-5C29-4F46-837F-3FC014D8C46A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2a6609faf4a1c5f7bdae024db4e2fa6dc35201be","datavalue":{"value":"first-order implicational specifications of data types","type":"string"},"datatype":"string"},"type":"statement","id":"Q3757388$B2B27E9D-72CD-4402-8161-F0BE7A0BF320","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4518906703ac547f79888d08670823c3951a15da","datavalue":{"value":"program synthesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q3757388$4ADC176C-3373-4E31-B2AD-B23C18F78CCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1543612e7b406a296bf15e2b4ea459eb73757cb9","datavalue":{"value":"nonstandard recursive models of Peano arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3757388$06DEEFB6-5B82-4A57-A67C-CC25B4C0801A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4bfee629fa3f6313e36a8128edc940eba1a6d8bf","datavalue":{"value":{"entity-type":"item","numeric-id":1407592,"id":"Q1407592"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3757388$0B466D6A-57B2-4828-A52C-89555DC2ECD2","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":"Q3757388$A655C04A-8250-4555-87A3-FD47A229E4CD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"620dc478aba2d0a7349eb85b9fd811aa5113bc8b","datavalue":{"value":{"entity-type":"item","numeric-id":1091120,"id":"Q1091120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a39a9eb768cf71bea1595cb11d838a45b177f11a","datavalue":{"value":{"amount":"+0.7034327387809753","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":"Q3757388$D671D4A2-BEFE-42CD-9568-DC6ACE094C50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"16d4f01e815cb09b5fb8a5fb7514d4962b182eea","datavalue":{"value":{"entity-type":"item","numeric-id":2719126,"id":"Q2719126"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d672dfe962752992e77dc256b7797e7db593664b","datavalue":{"value":{"amount":"+0.7011646628379822","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":"Q3757388$0D00E5F9-16D2-4A72-84B6-A09BD0AE6D7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"39ce2a89a62e025aceb5cfdbb1d54934f047c123","datavalue":{"value":{"entity-type":"item","numeric-id":1286567,"id":"Q1286567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9d276446ed59485a337b20a9cbd17cb08554784d","datavalue":{"value":{"amount":"+0.6869920492172241","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":"Q3757388$9A792B8D-5C8D-4473-91A6-2A676C566F4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"84cd93a17f57c18fd09262e4d9be653bb70f38f9","datavalue":{"value":{"entity-type":"item","numeric-id":3476793,"id":"Q3476793"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"56dd14063d6d7da9ad195f85d54baf3165b96ce1","datavalue":{"value":{"amount":"+0.6838341951370239","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":"Q3757388$FB5FEBA1-C604-4247-B34E-88A6A693F84C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d6b78b3ecf79be68faa3d83e8bddef8dbf6a0f74","datavalue":{"value":{"entity-type":"item","numeric-id":5752570,"id":"Q5752570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"034094f011e257e6b5624c4ad413d2795fd8df40","datavalue":{"value":{"amount":"+0.683643639087677","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":"Q3757388$2009CFD4-9468-4583-B65F-21DD4E509D62","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3757388","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3757388"}}}}}