{"entities":{"Q4702593":{"pageid":6732170,"ns":120,"title":"Item:Q4702593","lastrevid":46878411,"modified":"2025-12-25T18:47:01Z","type":"item","id":"Q4702593","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1368949"}},"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":"Q4702593$757B2167-D630-401A-8392-97A5ADF06518","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"24b36df04ecaed5188618e01308469ef29e835f7","datavalue":{"value":"0949.03028","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4702593$899722A1-92C1-4EDF-B8CF-E66CF61DDCA9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2d6b4406c37cb659c11d73b150d343f69e848fac","datavalue":{"value":{"entity-type":"item","numeric-id":673183,"id":"Q673183"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4702593$9CD7F68A-025B-49F7-9F7F-1A0ED73500C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"431bf8683ea89426e31cb1e39f82476b555daaec","datavalue":{"value":{"entity-type":"item","numeric-id":420799,"id":"Q420799"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4702593$5764A5DF-970D-4F2D-AB15-0F6EDAEF9E84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2bba2c9af0018b72d43bc0848f9ccbfe551f17e2","datavalue":{"value":{"entity-type":"item","numeric-id":585249,"id":"Q585249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4702593$3C31AA09-F810-4B09-8460-993A19A9DE60","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0f913cc1ef5bf54a8a2de8efadea6243b981ed90","datavalue":{"value":{"time":"+1999-11-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4702593$31AC27CB-478E-4C19-B1ED-68A3C427FF89","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4702593$CCAC6C30-5899-4C87-A8FA-5988BD94587D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4702593$64772897-7E38-4CE2-AF63-9235A3F845CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c06e0874e30722381d620ef69fb36c407a01cb04","datavalue":{"value":"03B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4702593$57B32A61-E5E2-417A-B1E3-AEDEDB781956","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"31f1eb372423ac0124d10f94b122658fc652b155","datavalue":{"value":"1368949","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4702593$64803E05-F635-4D36-AF27-AD5D901018A6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a73aa4ffea3012fda927bf7bd8f03e1f55a43aea","datavalue":{"value":"free models","type":"string"},"datatype":"string"},"type":"statement","id":"Q4702593$D48379DE-46F7-451C-A3E6-005EE069E60C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"168efd5b5ea5201f07981f3c97023441918073bd","datavalue":{"value":"data type specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q4702593$7F090988-4F6F-4AEC-B0E6-8C451996C96B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"03706d3bd5d481bc199380bc31cbe0450892e5a2","datavalue":{"value":"partial first-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4702593$707EFB55-3F38-4A54-B779-FB038B5EECAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d34f641753d5c51a2cfcf7b8360049bd315afba6","datavalue":{"value":"error algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q4702593$DD10B658-D487-4AF2-ABB5-230A10CEBD1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8c8c89096fc1f7aa293fa851a17290ad6c0d939e","datavalue":{"value":"order-sortedness","type":"string"},"datatype":"string"},"type":"statement","id":"Q4702593$D767CD97-D9BB-44F0-81E5-EA6959DDB4A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"adca6a997b2951bc4dfac7740a6507751111f58a","datavalue":{"value":"conditional fragments","type":"string"},"datatype":"string"},"type":"statement","id":"Q4702593$4BCCE665-9B52-4449-B5AC-805BA2207E00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9dabfe059a1463f9f93ddc97da320071c77f56ad","datavalue":{"value":"algebraic frameworks","type":"string"},"datatype":"string"},"type":"statement","id":"Q4702593$4E828BB9-2213-45E9-9454-AB84E800450D","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":"Q4702593$2C2F6355-AD1D-4360-9C93-2DA5E58C4DA0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4424c639e43965ee40eae97bba9bb67c453c4691","datavalue":{"value":{"entity-type":"item","numeric-id":752689,"id":"Q752689"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"88beafeacadd1fdd115265fa4c20a915631055f5","datavalue":{"value":{"amount":"+0.7646022439002991","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":"Q4702593$A05A0C1E-2739-438E-8440-2D23B6F74328","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3e43dbe1520a1337ef3145fb25110ab262401fdd","datavalue":{"value":{"entity-type":"item","numeric-id":5096142,"id":"Q5096142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"877b7ae667b6c13254dd02115ed0047d199dac03","datavalue":{"value":{"amount":"+0.7618350386619568","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":"Q4702593$111241E5-5880-4975-93EE-550A73118C5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"97f03018ffb0078204fbf896197965deeaec28d9","datavalue":{"value":{"entity-type":"item","numeric-id":918965,"id":"Q918965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"08aeaa82c4a2d6dfe135e942c43aa084cde8612a","datavalue":{"value":{"amount":"+0.7537890672683716","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":"Q4702593$8AA46771-F367-47EC-9EDA-0EC3FDCED62E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"13842fc6e7c287accccf55d65bd1020fcb1d98e3","datavalue":{"value":{"entity-type":"item","numeric-id":673184,"id":"Q673184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c951138119f948e9041904ab92080dc0a7521942","datavalue":{"value":{"amount":"+0.7534735202789307","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":"Q4702593$7F8AF186-6999-442D-91DD-22F1963413FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aa783f8e2a3db598a7a75f1cad6355aae76226c1","datavalue":{"value":{"entity-type":"item","numeric-id":3032234,"id":"Q3032234"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"174057f4edd4eff7371329ecb7523ad012f4a42d","datavalue":{"value":{"amount":"+0.7523854970932007","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":"Q4702593$7B7EFCAF-3B1A-4EC0-AFBC-2FCD6CA9C8E8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4702593","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4702593"}}}}}