{"entities":{"Q1760096":{"pageid":1770838,"ns":120,"title":"Item:Q1760096","lastrevid":51593417,"modified":"2026-01-18T23:28:55Z","type":"item","id":"Q1760096","labels":{"en":{"language":"en","value":"Invariant functions and invariant relations: an alternative to invariant assertions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6104861"}},"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":"Q1760096$3CB2ECC1-BB82-4348-AA1A-6DF66E5C3F07","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"783d23d09b9492b1faeef5eca5020de85860401f","datavalue":{"value":{"text":"Invariant functions and invariant relations: an alternative to invariant assertions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1760096$F9B1F004-6EA1-4BBC-B29C-292C2F1CAFFD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4ba2fe68d722cff78871fdb7e2868c346b23df89","datavalue":{"value":"1253.68085","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1760096$C476B273-421D-46C9-A8CB-AE2B65810789","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f775d58db3001d6eb023876f815858fe881aac52","datavalue":{"value":{"entity-type":"item","numeric-id":444371,"id":"Q444371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1760096$9C58F311-1224-4EF5-A69A-8E59DA2628BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5ccccb769ccf11c3a850b91421e35fc93fca1ab1","datavalue":{"value":{"entity-type":"item","numeric-id":444369,"id":"Q444369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1760096$4AB3B044-C8BF-4A15-A865-31FFDFE60803","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e7828a12e3ffd25542553f0465b3fad83db2e4f0","datavalue":{"value":{"entity-type":"item","numeric-id":444370,"id":"Q444370"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1760096$BB8DD15D-CB95-4CB8-9146-4048BE084771","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3231d11b78a0cedac13955b590138221e349e363","datavalue":{"value":{"entity-type":"item","numeric-id":444368,"id":"Q444368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1760096$26045A05-BB01-47A7-AB3E-B3E17B799D6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"14d3a7de4373c1c701df241be51a17edb22381dc","datavalue":{"value":{"entity-type":"item","numeric-id":444372,"id":"Q444372"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1760096$30B622F6-653F-4C0A-8875-A70869AEE3E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ddc91625cf26d9f38636af1785664b029e077bed","datavalue":{"value":{"entity-type":"item","numeric-id":797984,"id":"Q797984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1760096$BCAE18DA-2434-4B96-82BF-2DCD39BEB297","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ea72303f92787da89554ee5fa15621068821a762","datavalue":{"value":{"entity-type":"item","numeric-id":99061,"id":"Q99061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1760096$2731D852-2885-4A09-B8D8-A70264BFC11E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"cc76c8b578286742032013c12530fb24247e5db9","datavalue":{"value":{"time":"+2012-11-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1760096$08A153D8-056A-4296-A825-857C61912770","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"35c3f01235ccba091e1644bb05c86f53d45fd7f7","datavalue":{"value":"68N19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1760096$B47FE15A-6BD4-45B7-AFC2-3165437F7087","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5e2b9ff17952bbd3dbcc807160f381bf5a62e6c4","datavalue":{"value":"6104861","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1760096$70D6CFE6-115C-4150-A73E-4C2999A15D18","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66b366360015365bbedabe451076140635964e60","datavalue":{"value":"invariant assertions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1760096$1DFCDEDD-654E-4AB0-8A32-192E0876E031","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b961c8ad3c1b2969fa6d44a60caad2b6c184ad63","datavalue":{"value":"invariant relations","type":"string"},"datatype":"string"},"type":"statement","id":"Q1760096$1B69AD3B-361B-43EC-8F3E-34372B82DD94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8d4f2d7a06b85e9c622fa4668414935f83b10e1b","datavalue":{"value":"invariant functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1760096$111466A0-08F4-4775-B719-F65EAC2B7327","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"38e8c39268d3020a31b50197045066c5d4458e43","datavalue":{"value":"while loops","type":"string"},"datatype":"string"},"type":"statement","id":"Q1760096$F23D0A0F-1580-45FF-9F50-98E8435C66B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0a305eafa8740fd811d6b40d9e6c4dd5d50e2793","datavalue":{"value":"reasoning about loops","type":"string"},"datatype":"string"},"type":"statement","id":"Q1760096$22D19FC2-812C-4902-82B9-3B5AEC4E5EAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3e4824208d7bba949dd72987d32ffb13493eeb0e","datavalue":{"value":"invariant generation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1760096$343147F2-D263-492F-8EC8-9FE8D9E8DC64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"59fa865bf10990a00b315df7fd32c4fe6bd8f431","datavalue":{"value":"loop functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1760096$6CB58F7C-F1A6-43FB-A8C4-8ADA604E9636","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f2502fa7bae1ce337fdfb1a3126bc599f4c117d1","datavalue":{"value":{"entity-type":"item","numeric-id":24616,"id":"Q24616"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1760096$6C7ED696-0DBE-4CEA-89DD-3C9210BCF68D","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":"Q1760096$5E9955F8-165E-413E-B2F4-24B80BFC068C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"87dbee55c64e7a98551d603cf94478705b5cd96a","datavalue":{"value":"https://doi.org/10.1016/j.jsc.2012.04.001","type":"string"},"datatype":"url"},"type":"statement","id":"Q1760096$8DF1B448-D62F-4830-88C8-A595D7D3BB76","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5379c65bafd98cb0f7d1cca0b10b3feaf731aa5b","datavalue":{"value":"W2118456460","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1760096$C66477B3-C272-4650-8484-DA0F825FF683","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"23f49c04bf557201b420f9dba19709589b040273","datavalue":{"value":"10.1016/J.JSC.2012.04.001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1760096$80356E4C-A2A2-47DE-B073-9FA2E58A4D9B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ebd63ad96a99d0f11f0b6fd0a8a03865b72f596d","datavalue":{"value":{"entity-type":"item","numeric-id":604384,"id":"Q604384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"473d5daaa171797b96223a5476038d390b785aed","datavalue":{"value":{"amount":"+0.8885717391967773","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":"Q1760096$D017BB33-510E-46F5-A0B0-33E5844B5C4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ecd6d49d6735aebdc28dec0abc2fbe5ffe2dffef","datavalue":{"value":{"entity-type":"item","numeric-id":444373,"id":"Q444373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6457e4f7c7bcf505f8c1b6768697b7fd0b03ddb0","datavalue":{"value":{"amount":"+0.8808149695396423","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":"Q1760096$1EB494A1-88FE-4556-B76B-B04DCA71E784","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b240ab2720e4b415608f282418040bd96af4c696","datavalue":{"value":{"entity-type":"item","numeric-id":3651520,"id":"Q3651520"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"36a5840eab92049ba3f7e5315de07f953e10bce0","datavalue":{"value":{"amount":"+0.8521028757095337","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":"Q1760096$4800BBAB-79D8-4FB7-B6A3-EF7D05636509","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b8cdbaf7c19b2795fc05b1c19dac6eb45a9e20ba","datavalue":{"value":{"entity-type":"item","numeric-id":797985,"id":"Q797985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6ab51135edf9e55dc447e2ce3d77a036921d462e","datavalue":{"value":{"amount":"+0.7970478534698486","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":"Q1760096$D6CF393F-4695-481D-BD8D-2FE283F95ED9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"32ccf01c3cd45ed8bf1bca0a82ed9e2b50eaa148","datavalue":{"value":{"entity-type":"item","numeric-id":4723280,"id":"Q4723280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"16d3d882ecb91e4c495a1550ad82c098edf1d7b6","datavalue":{"value":{"amount":"+0.746969997882843","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":"Q1760096$DF48C523-776A-4B0F-8934-2F4B2E0007E8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1760096","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1760096"}}}}}