{"entities":{"Q1284693":{"pageid":1295443,"ns":120,"title":"Item:Q1284693","lastrevid":67444962,"modified":"2026-04-12T17:53:44Z","type":"item","id":"Q1284693","labels":{"en":{"language":"en","value":"Converting untyped formulas to typed ones"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1279207"}},"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":"Q1284693$57542D44-9553-41F0-B6F9-1DA0677BBD05","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5b9370489afbd452028caca53b71a33f5afcc351","datavalue":{"value":{"text":"Converting untyped formulas to typed ones","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1284693$6B51A2C7-16AE-4E30-A605-D098FDFB8E83","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"658ac0be76fcb13e282d3ed98edad4c16f3aa919","datavalue":{"value":"0920.03011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1284693$CB5A2D56-81D9-432C-8FA1-0FDBE87742C7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b4d17eed939d4be15a044dfb000abeabaaa52a52","datavalue":{"value":{"entity-type":"item","numeric-id":256712,"id":"Q256712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1284693$82A9677C-1302-436C-8DF1-FA124D9079E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c9d66713191cddf6859b906b3f6ea9ba3518f4e7","datavalue":{"value":{"entity-type":"item","numeric-id":1281495,"id":"Q1281495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1284693$6EAE51F0-7482-4A04-858D-BC97196BB64E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7d0f02e85530cd06ceb2c58a40dc9c2e0258e194","datavalue":{"value":{"entity-type":"item","numeric-id":161641,"id":"Q161641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1284693$EE4074CD-8ABC-4A95-A4FE-6FE1660A954B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"aa2e5e35d3f24c6f7bef23b8c15234f371e216b0","datavalue":{"value":{"time":"+1999-04-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1284693$B25996EC-CED4-417C-8B96-A202497D3C68","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9285b71bd7fdf41af280c1e636b99c8a8e9ca745","datavalue":{"value":"http://hdl.handle.net/1942/715","type":"string"},"datatype":"url"},"type":"statement","id":"Q1284693$BFDE1B1F-DBBC-4ACD-848C-343F361C3ACE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c06e0874e30722381d620ef69fb36c407a01cb04","datavalue":{"value":"03B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1284693$7E4A8E16-CF62-4A1A-9057-0604280842F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf2726c5c2109371cc10358eaa69bc4df711caf7","datavalue":{"value":"68P15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1284693$73CBD059-B43B-4F91-9820-A85A70AA264B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0180b051f78809e6eec10062a4e47170fdc38e78","datavalue":{"value":"1279207","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1284693$F4E21296-08CC-45CC-8C49-4B23B19BB30D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c22ffdca00173ced5c1b8efb1893ae52a5dddae4","datavalue":{"value":"many-sorted logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1284693$9CEF2CB6-0FB1-4C97-9F40-5C93865C0E6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"632c795d7c968ae078ec4f52198d1d4c82d54ce4","datavalue":{"value":"untyped formula","type":"string"},"datatype":"string"},"type":"statement","id":"Q1284693$F0B618D4-01A2-40D3-871C-D5276C3B5E8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e2e80a7123e4ea6d0418cb24d37b1837f13e3514","datavalue":{"value":"first-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1284693$968E959D-113E-4DE0-B129-0AD9514D136F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"726751ff06959b80da2b88efebc70cd8b413a056","datavalue":{"value":"many-sorted formulas","type":"string"},"datatype":"string"},"type":"statement","id":"Q1284693$F307C0C5-8519-40E9-B208-A7C24D43E557","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eb3f49ee29c076a87895930fcc254f02b8733338","datavalue":{"value":"expressive power of active-domain quantification in the relational calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q1284693$702549E5-0BED-46F4-8F66-B9484A1AED1D","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":"Q1284693$A27EA80D-4BF7-41C8-A9C6-0495C06FEA13","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5c38c5dcd906741795595b45ecf97973c4643d58","datavalue":{"value":"W1977757011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1284693$7F27DA25-5943-4035-9BC6-D4166E3DB476","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"caff4e1422d993ffcc9bf98f159db7736b85a6e8","datavalue":{"value":"10.1007/S002360050135","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1284693$CF0E9F87-A5B0-46D9-B394-31FF47D48458","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c6eec5e1dfab4c15ac908d538c9b377c76aa133","datavalue":{"value":{"entity-type":"item","numeric-id":5200026,"id":"Q5200026"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9911e500ff113d73ac39cc271c0ae8de2be75687","datavalue":{"value":{"amount":"+0.679780900478363","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":"Q1284693$FAE1CAFF-9483-4279-82EF-07B251ECFEC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"17ba3834f7a04f0754d25a73ee18ca06db749e32","datavalue":{"value":{"entity-type":"item","numeric-id":1097051,"id":"Q1097051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8f83a8fc739c9f3b8e062bd5c0efbca7a8a4f65c","datavalue":{"value":{"amount":"+0.6710155010223389","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":"Q1284693$26F6AA49-4EDB-4AE6-9B1A-437039AA0118","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"be3d9bea96723af22ec8056302b480ce9b3eabde","datavalue":{"value":{"entity-type":"item","numeric-id":4261067,"id":"Q4261067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"35ee9c6d7e2a2287f5d8270eb757c8e779da3846","datavalue":{"value":{"amount":"+0.6677456498146057","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":"Q1284693$7A70F860-32ED-4F69-BAD6-5399DD48D83F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6b1fcd362a83443c7b6841211562c0eb1ff2e0bf","datavalue":{"value":{"entity-type":"item","numeric-id":5285114,"id":"Q5285114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c2057c043e0663de18c1101d89655a49ba810aab","datavalue":{"value":{"amount":"+0.6617937684059143","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":"Q1284693$D5C9ADEF-4CA6-4250-BCCE-6406F4FDADD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fc841f8b3eec77a95f401c72ee1b746d54df47b8","datavalue":{"value":{"entity-type":"item","numeric-id":1708876,"id":"Q1708876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"71890d78c309328628ad09374b7acc6219a34016","datavalue":{"value":{"amount":"+0.6595291495323181","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":"Q1284693$09BD7277-D407-4198-90BF-48B2409BE34E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Converting untyped formulas to typed ones","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Converting_untyped_formulas_to_typed_ones"}}}}}