{"entities":{"Q3732937":{"pageid":5762843,"ns":120,"title":"Item:Q3732937","lastrevid":50863697,"modified":"2026-01-15T11:52:31Z","type":"item","id":"Q3732937","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3965412"}},"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":"Q3732937$FC7A01FD-12A9-4673-A357-9949CBD85AFB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"518925696bd3211381aa52a01cdd2530567b7f0e","datavalue":{"value":"0598.68010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3732937$ADE06CEC-D921-4737-B3B7-9E42165B3D91","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":"Q3732937$DA410460-95AE-4E47-9045-8463616ED410","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3732937$DDDD03FA-ED5B-437E-AA9B-E75C988220F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3732937$DC1BE26E-DFE6-4648-B182-9AF6D9200848","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5f206d200d6508a521763da3756f2086b0bbe93b","datavalue":{"value":"3965412","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3732937$53D3255F-E583-4346-9D46-9FAA5DE41209","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0526c00f569210ce7173e47a4c15e19de17bfaa9","datavalue":{"value":"semantics for logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q3732937$6FDBA246-2E1D-469A-897A-E5BCCC1E7C20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"53782deadd910888104ffe46be064d8f6fbc70e4","datavalue":{"value":"\\(\\omega \\) -continuity","type":"string"},"datatype":"string"},"type":"statement","id":"Q3732937$78EBD78B-C30D-4D77-BF75-482A6DE5A555","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e06d08b1a2858b1491444255904f57bce2c0f6fe","datavalue":{"value":"computational equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q3732937$17C4CAF4-F8B3-47A5-AE62-4BB243381278","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"59b702fa9606e044e157065ff719ee6d15c7ec5c","datavalue":{"value":"substitution domain","type":"string"},"datatype":"string"},"type":"statement","id":"Q3732937$74DDFB6B-FF50-4B58-A24A-61FCB041ED3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"51802126f63d5102d578f2858428d5d0f09da73b","datavalue":{"value":"denotational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3732937$198430E9-CCB1-4FB9-817E-C70379EC4CB1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"84f8c73d1d1e1f0a648e645ee4defd36dced9cfb","datavalue":{"value":{"entity-type":"item","numeric-id":633625,"id":"Q633625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3732937$0D50F3E0-61D9-4FCE-9632-02908395FC58","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":"Q3732937$34C2ED0B-0C47-4389-937C-E557698CD341","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6e70fcc42e9f92502d1a72a3cf9e49f0bc79b665","datavalue":{"value":{"entity-type":"item","numeric-id":1185016,"id":"Q1185016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9498a773d521b3409f234f8d60b78736ce7f9c52","datavalue":{"value":{"amount":"+0.7639002799987793","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":"Q3732937$52C933EA-DC42-46E6-A5CB-62451EF8D14F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0cb8ccb2db025cd5f95d6bdad251ea8197ea203b","datavalue":{"value":{"entity-type":"item","numeric-id":3804231,"id":"Q3804231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f39a1339376d653a0703e5f70d11a7130e061371","datavalue":{"value":{"amount":"+0.76279217004776","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":"Q3732937$56FE0B45-BAA2-4366-B5A1-1580DCBACF38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3fa5c2468fc3abac8a29a146531517661c14c790","datavalue":{"value":{"entity-type":"item","numeric-id":4287514,"id":"Q4287514"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"da2c4fb1686836df99b87616f04bc09049064d9c","datavalue":{"value":{"amount":"+0.7435250878334045","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":"Q3732937$3649E522-683A-4E5C-BFD4-4D296EFD5CEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"42585510f374d8818326c3f472fbaa5b0baaeff8","datavalue":{"value":{"entity-type":"item","numeric-id":3339245,"id":"Q3339245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"da2c4fb1686836df99b87616f04bc09049064d9c","datavalue":{"value":{"amount":"+0.7435250878334045","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":"Q3732937$82B6BDFA-01BE-41A7-95AD-9E0C1EA49CFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c218ea89001957501dba944509999b39fa234d5c","datavalue":{"value":{"entity-type":"item","numeric-id":1318723,"id":"Q1318723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"165508a1425cbf9b2c101c7aee8822eec24fe64c","datavalue":{"value":{"amount":"+0.7384418845176697","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":"Q3732937$8E2748BD-508D-4DDB-B221-875C745DB90B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3732937","badges":[]}}}}}