{"entities":{"Q1701639":{"pageid":1712380,"ns":120,"title":"Item:Q1701639","lastrevid":68170620,"modified":"2026-04-12T21:54:35Z","type":"item","id":"Q1701639","labels":{"en":{"language":"en","value":"What does ``without loss of generality'' mean, and how do we detect it"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6843885"}},"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":"Q1701639$0032ACB1-010D-453F-8B7A-2EE2EF1E591A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7476a62a04f529d100ead309464d66d93888179b","datavalue":{"value":{"text":"What does ``without loss of generality'' mean, and how do we detect it","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1701639$BBF9493E-1B8E-4C9D-847B-5E24B732934F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7c675fde3874096124c186ace8b20205e54012cd","datavalue":{"value":"1425.68464","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1701639$E2704E5B-817A-4E5A-99FA-BA55562D3A85","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"840c7d35f2ce10026284ad29eddaaaa6e274a32d","datavalue":{"value":{"entity-type":"item","numeric-id":247220,"id":"Q247220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1701639$54EA2607-D37F-4EF0-A395-CD475446D09B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e5cf57799e8c41ecba181c21bc95047b71cb3443","datavalue":{"value":{"entity-type":"item","numeric-id":294368,"id":"Q294368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1701639$28640D0B-5A53-4FA0-8F69-0B0A994AF3E0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c144e320c99ba8ab535867a269aafb85a4e4b204","datavalue":{"value":{"time":"+2018-02-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1701639$1DCD231B-210B-440A-B2C2-FCB6FA0446AD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1701639$FEEBA31D-7657-4833-BF1B-F4ABD29CE167","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1701639$75C8697D-6B57-44AF-B031-068C6EB15046","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0bdcc595a3d7c86e8ef5650c9bc5f3fe9a23b239","datavalue":{"value":"6843885","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1701639$74F862C4-6B50-4E40-AADD-3F549F870DB6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"614d88d59f361d2d6b9adacc8d9751a483cab710","datavalue":{"value":"symmetry","type":"string"},"datatype":"string"},"type":"statement","id":"Q1701639$0932D30D-B2DF-4C68-A5AA-94A8FFE22952","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a494690cf7d1a2673052fdb9c86106d8a58341eb","datavalue":{"value":"generality","type":"string"},"datatype":"string"},"type":"statement","id":"Q1701639$78C65715-8BBB-47DE-A309-ABDD13FE76EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5e5972be167823369a5d1b26bff57b03e8b3e7a0","datavalue":{"value":"cylindrical algebraic decomposition","type":"string"},"datatype":"string"},"type":"statement","id":"Q1701639$FAB669B5-E093-4A8B-B1A5-05BE8E4233AC","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"97c52174d6a2c739dccdd83081669a4a937b002e","datavalue":{"value":{"entity-type":"item","numeric-id":15381,"id":"Q15381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1701639$8339D6F3-ED1E-4D70-950A-943AD04471C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"32aff951e31cb88fd9452eb9d816a1b0d2b9e644","datavalue":{"value":{"entity-type":"item","numeric-id":13544,"id":"Q13544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1701639$AA52A7B1-4E1B-4839-82F4-82300318403A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9a37c6158e55879128d99262e3f4ca3b0540ddb4","datavalue":{"value":{"entity-type":"item","numeric-id":21890,"id":"Q21890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1701639$18E9E82C-4CE5-4D4D-ACC0-3B1BCE2EE5CD","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":"Q1701639$BCA91F95-3A46-491E-A1E6-89E8C4FBCA1B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f80224bee52cd546900865107bf83db0dbef7b47","datavalue":{"value":"https://doi.org/10.1007/s11786-017-0316-2","type":"string"},"datatype":"url"},"type":"statement","id":"Q1701639$CD4E643A-CD00-43F6-8C1E-2C83ACE211BB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"889552b1cf3fed75a1de704c724c3cb758938c7d","datavalue":{"value":"W2610071704","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1701639$5286752D-0D44-4878-A94E-491F1A8149C9","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"d6bdf40c452d24ef7cf5c26ddba5c5f90eb76f36","datavalue":{"value":"Q59614765","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1701639$A7AB3CE3-870B-4BD7-A425-E8F927830908","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c2387c710e9089eacc5cd3b7ffe9a7ba46898b9","datavalue":{"value":{"entity-type":"item","numeric-id":2819729,"id":"Q2819729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1701639$F514B15D-FFE7-4566-8C15-C37B68932729","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e770ab55f3db1dc816e1628743e37862fe609745","datavalue":{"value":{"entity-type":"item","numeric-id":2817292,"id":"Q2817292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1701639$2FAB44C6-6ED9-48C6-98E0-05AE8EE68582","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bbeced255ac02b681c5f8327daccc0f699256f1d","datavalue":{"value":{"entity-type":"item","numeric-id":2799562,"id":"Q2799562"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1701639$349E6F61-14A3-449B-BAFD-B98A4C0D2C40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"453b153455f83e906b792fe7325642a0396df09f","datavalue":{"value":{"entity-type":"item","numeric-id":1701639,"id":"Q1701639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1701639$BC31F954-2672-4E3C-9387-D3856FCBB125","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2319d935fe943956286990983c50e138c8f7435","datavalue":{"value":{"entity-type":"item","numeric-id":2879161,"id":"Q2879161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1701639$4DADC2E1-1D33-4CF6-99CF-5DB5D1F536FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a8e615433d7c0da849d212b92d36df1a27bb8523","datavalue":{"value":{"entity-type":"item","numeric-id":3183516,"id":"Q3183516"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1701639$691C346A-100B-458E-A0E8-75C081386BAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"027e018eef8810ffaaa3893bf67adf6d2ef52c6f","datavalue":{"value":{"entity-type":"item","numeric-id":1094149,"id":"Q1094149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1701639$6AA2F70F-3A50-46C1-BDBF-C4CA25C503D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d1c59e09bb020d03d7c99ef70a67a6029b9fe7cd","datavalue":{"value":{"entity-type":"item","numeric-id":4391223,"id":"Q4391223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1701639$B970E6C0-0C70-44E9-8CFE-6FFE7324BAD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4f934ae69cb480c6dacbcb34d47160cc7f0fc73","datavalue":{"value":{"entity-type":"item","numeric-id":1757004,"id":"Q1757004"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1701639$0A9E9205-60F2-48B1-A952-E0B72D0F36E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c180dcd373352949471c4d009f09ade7acad290f","datavalue":{"value":{"entity-type":"item","numeric-id":4647511,"id":"Q4647511"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1701639$402400E7-1D4C-43A6-8D25-D315927DF8FB","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"f0c3d0a134aca68cf2f73257efd32479959fd500","datavalue":{"value":"journals/mics/Davenport17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1701639$D278D9A5-A380-49F9-AA5C-18C37189AF28","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"064bb08636afc132c1062e0dd66df55bd214722a","datavalue":{"value":"10.1007/S11786-017-0316-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1701639$051B2B9A-D8F0-4155-9A25-D61402187444","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"60451bf6d9706ceb4403d5f33c4806cc93d958a1","datavalue":{"value":{"entity-type":"item","numeric-id":3183516,"id":"Q3183516"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3411b579082500d7aaa20c651da1c2f9c4eeb9c1","datavalue":{"value":{"amount":"+0.87697833776474","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":"Q1701639$505131AF-3D56-4E55-B7AE-967856B24A31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1a0809c65d5e70ad61bf56316aa2aecdd1bf9c3a","datavalue":{"value":{"entity-type":"item","numeric-id":3973345,"id":"Q3973345"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d3932c63ad483ae409ccb118bd19c3bfdfe85554","datavalue":{"value":{"amount":"+0.6694259643554688","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":"Q1701639$9D4299C5-4C2A-430F-AE8F-A75BB8563312","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4542d4f6ee9ed97205b6e68ed988ac4f3df1a721","datavalue":{"value":{"entity-type":"item","numeric-id":4531856,"id":"Q4531856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"75a1257dca29a36737027b0e33bd4d255cf4b1af","datavalue":{"value":{"amount":"+0.669425904750824","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":"Q1701639$7D7DCA24-EC4D-47DD-8E03-0DA2DB5A4E49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e4112c306cee082f0d95f59a6c9c42c9dfc6dda1","datavalue":{"value":{"entity-type":"item","numeric-id":1121669,"id":"Q1121669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0e75d727568530215c424814f6f0706ef9b70dc1","datavalue":{"value":{"amount":"+0.6491097807884216","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":"Q1701639$111E652A-DC80-4DB2-842A-8B056819F950","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2d56fd5f71423e20181a19c4ba4b24357809235f","datavalue":{"value":{"entity-type":"item","numeric-id":3700870,"id":"Q3700870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7d30d95dba20c2e05bbff193411efdb5300acf69","datavalue":{"value":{"amount":"+0.6448884010314941","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":"Q1701639$7C69096B-418D-4A59-A938-8FC6E0D7AEBC","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1701639$A6DC5930-8573-4F08-A23D-D67A2AE981BA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"What does ``without loss of generality'' mean, and how do we detect it","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/What_does_%60%60without_loss_of_generality%27%27_mean,_and_how_do_we_detect_it"}}}}}