{"entities":{"Q5753928":{"pageid":7783479,"ns":120,"title":"Item:Q5753928","lastrevid":49468489,"modified":"2026-01-07T05:18:00Z","type":"item","id":"Q5753928","labels":{"en":{"language":"en","value":"SOLVING SYMBOLIC ORDERING CONSTRAINTS"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4189693"}},"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":"Q5753928$C61A145B-085F-4E83-B021-BB68D0D610AD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bbd576e1009b5583e19a26acb0cdbb769d437031","datavalue":{"value":{"text":"SOLVING SYMBOLIC ORDERING CONSTRAINTS","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5753928$802CEE6C-72E9-4A95-9318-6FA3247B56D5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ac08cf95b5870937d1cf3ddb29cda0901f639661","datavalue":{"value":"0722.03012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5753928$41D93C6B-C6F7-46C3-8C98-B55193C1B185","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b175c766df4d37c05daa3cf503b55f43b397bcd7","datavalue":{"value":"10.1142/S0129054190000278","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5753928$0C0E8B26-3564-4CD3-9092-EE51BBBF4EE4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"23be70569faa30ab86ceaac20a2ea57705fd5fb4","datavalue":{"value":{"entity-type":"item","numeric-id":685392,"id":"Q685392"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5753928$4A2A6359-E96C-4075-89E5-5C12C463C760","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"47adaa7123c6f3744cf7fa8eab088d52b4982295","datavalue":{"value":{"entity-type":"item","numeric-id":2703009,"id":"Q2703009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5753928$34C2ADA1-3117-40B7-80E0-897B268F77FB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"70d2fbf8bcd48a5ca1ac752985098b379d0dbb65","datavalue":{"value":{"time":"+1990-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":"Q5753928$6AB3251F-8C9C-4B98-BEA8-45A055C2A6E5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5753928$2A4EC661-D94C-4A39-8863-A626D053AB00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5753928$08B6B3DD-0097-481D-ABA9-0FD746ADEF6A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5bbb66f9b32f41ca281b2b3cb4ce3859e6e1913c","datavalue":{"value":"4189693","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5753928$44CC8C5F-63EC-4DE5-8EAB-2F68462B69BE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8419bc2370a828b543a1bac71c90dd009a146ff2","datavalue":{"value":"simplification orderings","type":"string"},"datatype":"string"},"type":"statement","id":"Q5753928$D8C5DC4B-97DD-4C4E-B9EE-FC521DA85798","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"36ca3a7d543ca17cd58535fef01195620e8ebc18","datavalue":{"value":"ordered strategies","type":"string"},"datatype":"string"},"type":"statement","id":"Q5753928$A0C9E540-6499-4EB1-A2CB-FE28FBB00B91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7102eb4b168b2e4c7843b96c7dfd3079fb5d3583","datavalue":{"value":"term algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q5753928$05B2C47B-808A-495F-AC9E-3D66499E3F45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a2440c6394e2ac24533843222855bcea18333dee","datavalue":{"value":"constraint solving","type":"string"},"datatype":"string"},"type":"statement","id":"Q5753928$0CFA7AD7-621B-463F-810B-E762B8D53017","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cf9be60c8fff2e9765e62ed8671dbb618a4e6e81","datavalue":{"value":"Herbrand Universe","type":"string"},"datatype":"string"},"type":"statement","id":"Q5753928$CBBE7E22-7296-4875-AC51-57BA211248E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a70960e562ca6a117921416717d9b0c401ca83ba","datavalue":{"value":"lexicographic path ordering extending a total precedence","type":"string"},"datatype":"string"},"type":"statement","id":"Q5753928$D6B1B614-8348-41CF-B0DA-784F626E82E7","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":"Q5753928$2EC1DDE5-7839-4AF3-9962-EB269D6EDC18","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"66e0befb9ad00fca967b1a5b458e5c3c61fd5de2","datavalue":{"value":"https://doi.org/10.1142/s0129054190000278","type":"string"},"datatype":"url"},"type":"statement","id":"Q5753928$646E270C-386D-4BAB-BB76-DCF1A6C48ADF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1e36bdc409361c60ca8f536e26cfa1569985f063","datavalue":{"value":"W2056096615","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5753928$FCE38B90-20B3-4948-9767-EDDC526231D0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4b8bfc54e5235d572616d041896d5a5f2031b191","datavalue":{"value":{"entity-type":"item","numeric-id":685481,"id":"Q685481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"28c681d06ce6997b5b2924f177bf917e68a4c0e0","datavalue":{"value":{"amount":"+0.8075405955314636","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":"Q5753928$84705591-68F8-4011-B718-F86891808DDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"82c1c955aa09a454aad3b7822ac2b797f0973045","datavalue":{"value":{"entity-type":"item","numeric-id":5096318,"id":"Q5096318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"55fe93e37de897cbecbe2e7bc017a1b35d639e27","datavalue":{"value":{"amount":"+0.8060906529426575","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":"Q5753928$D507656C-5A07-4567-B437-B8B2F3EB726A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c58640135e8e82c819c1be7527df756c6c9bf248","datavalue":{"value":{"entity-type":"item","numeric-id":4036585,"id":"Q4036585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3a69f20c427af0a15709754e0312a61efe169810","datavalue":{"value":{"amount":"+0.8019271492958069","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":"Q5753928$EC2C0230-7D6D-42DE-92A9-C9367A3F5A4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b793e628f5bf73506c61847959be3fb4f6f225ea","datavalue":{"value":{"entity-type":"item","numeric-id":4938596,"id":"Q4938596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c095e271bbe9370029a88a425710b51da1fa1017","datavalue":{"value":{"amount":"+0.7957448959350586","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":"Q5753928$DA9BB4DA-08CD-48A1-BB1E-F1420CAEDBF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"90876a4dccaf3458c2fc1c0199e90fd643a98046","datavalue":{"value":{"entity-type":"item","numeric-id":2956685,"id":"Q2956685"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c095e271bbe9370029a88a425710b51da1fa1017","datavalue":{"value":{"amount":"+0.7957448959350586","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":"Q5753928$A04F613D-160D-4DE8-A26D-D61AD586C587","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5753928","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5753928"}}}}}