{"entities":{"Q3345753":{"pageid":3356461,"ns":120,"title":"Item:Q3345753","lastrevid":48760186,"modified":"2026-01-05T19:30:09Z","type":"item","id":"Q3345753","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3880083"}},"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":"Q3345753$C2A483F9-72BB-4E7F-ADD0-624B5EF6AAAE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"803a33134f4dd7f73a7c72a25c8b77c64dbca449","datavalue":{"value":"0552.68015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3345753$F561890C-C57D-484C-B5FA-BB3243053E2C","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":"Q3345753$E064046A-6F9F-47D5-B7DA-1AD5452BDF8B","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":"Q3345753$FA236795-F8FC-41B6-BAFF-2042898F3888","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2ee0f220147ae8bc749a64db56839865dbc4f127","datavalue":{"value":{"time":"+1984-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":"Q3345753$38763429-F1C4-47D5-B917-B2573F993E3A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"14cf74de25853c940589b125137b792dfb2d092b","datavalue":{"value":"68P05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3345753$4DCCA5F1-EF43-4A2F-80B7-B0F1EF7FC285","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c06e0874e30722381d620ef69fb36c407a01cb04","datavalue":{"value":"03B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3345753$4BA8C06E-413A-4263-9D51-A2661A081AA4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"671c9c5441452eadaa6a097d2a7b8ed514b9f05c","datavalue":{"value":"3880083","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3345753$8DEEA9A0-2CF1-414A-99C2-4BB78CC896D2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cf6483e93ff0b0b0a920caa3a8bcdc780bd2e5cf","datavalue":{"value":"algebraic specifications","type":"string"},"datatype":"string"},"type":"statement","id":"Q3345753$63605EF5-D59B-441D-AFB1-6BD62C712DB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"69020b90f2a295125077d4c830cfc6ef19605b9f","datavalue":{"value":"free variables","type":"string"},"datatype":"string"},"type":"statement","id":"Q3345753$C41F81CC-C3B0-4585-9C01-D7CFE8E46888","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"47e02ac2fdcfcae6ede1dce8b210f5ee684c4dc9","datavalue":{"value":"institution","type":"string"},"datatype":"string"},"type":"statement","id":"Q3345753$E5B3FCC5-2F19-4001-A285-6394DA034430","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b1b211b4dd569b746945e55556358ad5d7610f9a","datavalue":{"value":"specification language","type":"string"},"datatype":"string"},"type":"statement","id":"Q3345753$CF90E88C-D69C-4A7B-AE9C-80D194A42D18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e2e80a7123e4ea6d0418cb24d37b1837f13e3514","datavalue":{"value":"first-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3345753$3EC19DCC-A4D8-4C8E-9C08-18AB129E23E4","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":"Q3345753$26D75438-0194-468C-BFA2-1E1473708385","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"56cc48f58d9e12c7bd4391708c6de4f7e4836ef9","datavalue":{"value":{"entity-type":"item","numeric-id":1108775,"id":"Q1108775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"71b77df9a6208eaa3d2bc3cb53b4e61f2880d0ab","datavalue":{"value":{"amount":"+0.8935827612876892","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":"Q3345753$775122AD-80CE-4B2D-A932-598C857FC782","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0d780e0003d89987bc138abea3f69d0b52710f9f","datavalue":{"value":{"entity-type":"item","numeric-id":4702594,"id":"Q4702594"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7f46428354793ddc79fa10a488bb01f46ecd1003","datavalue":{"value":{"amount":"+0.8202608823776245","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":"Q3345753$8FCBC445-45AE-4A68-89F9-F65D2B32C6E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ad7ef8f56a6f4f636da132e37b11c4fb00ad9e73","datavalue":{"value":{"entity-type":"item","numeric-id":3745248,"id":"Q3745248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1580c95a696143fdf92f5efecbffb2ac522bb6a6","datavalue":{"value":{"amount":"+0.7900475859642029","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":"Q3345753$CFE0AC46-725D-4AA2-AFE5-A020F815A860","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d0d2a2320a9044182b64a06707cdc92100ce6b0e","datavalue":{"value":{"entity-type":"item","numeric-id":4302820,"id":"Q4302820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4183c4b326f63521417372ae897e1890260289f2","datavalue":{"value":{"amount":"+0.7863414287567139","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":"Q3345753$E84D64CB-B450-487E-8AF7-3A63F5543CE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6c40a156f5820bd89bcd4dc9257dc6f34f56fdd9","datavalue":{"value":{"entity-type":"item","numeric-id":2722029,"id":"Q2722029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"da1992e21d75c2cf27bcd26069b98b9a16594118","datavalue":{"value":{"amount":"+0.777701199054718","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":"Q3345753$AB5ED149-8B2D-4057-982C-3CCCA7F3E89E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3345753","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3345753"}}}}}