{"entities":{"Q730473":{"pageid":732322,"ns":120,"title":"Item:Q730473","lastrevid":63899838,"modified":"2026-04-11T16:18:02Z","type":"item","id":"Q730473","labels":{"en":{"language":"en","value":"Normal forms and normal theories in conditional rewriting"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6668730"}},"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":"Q730473$6BC97B33-1601-4846-86D2-C1A56824DFD8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2e2c250ffc3bf1a03dc03268b8a899ea8106a82a","datavalue":{"value":{"text":"Normal forms and normal theories in conditional rewriting","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q730473$684351C4-317B-480A-BB9E-D872B6C1E245","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"eb41ec5813b4375867ca591676c8ab3fd56d128e","datavalue":{"value":"1356.68124","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q730473$804EB2C9-EAF4-4FB0-9888-0A7B2387AB28","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"30c863fa396706b2f00b0e4efd36ab68137f900a","datavalue":{"value":{"entity-type":"item","numeric-id":293292,"id":"Q293292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q730473$70CAF10E-9013-4967-AE01-F4E37B442B7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"db32c21cc482660e99c90b1907d7d5760cbfacfe","datavalue":{"value":{"entity-type":"item","numeric-id":347381,"id":"Q347381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q730473$95102ECA-E598-4D8F-87F4-BFF5A62D57E3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2532b82fbfd494721e144e8b872f80867d7316e9","datavalue":{"value":{"entity-type":"item","numeric-id":246441,"id":"Q246441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q730473$1B0BD5AF-8ADC-401D-9592-FC3C448A9904","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e142bd0dc840ed702ec865fb51b514477e03a134","datavalue":{"value":{"time":"+2016-12-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q730473$AA9AA914-F5E1-464C-855A-9E09BB6D4375","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q730473$B5F90595-F170-4D25-A8FF-B03AD2FAC241","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e4641c593bcedf5454c6b3f84988d8cd6f0e1cc1","datavalue":{"value":"6668730","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q730473$D3430BA8-10A8-422B-933A-509CFAA8D441","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c9e0c5435c12ae5fac0ad2379b3f0e231cf6ffcf","datavalue":{"value":"conditional term rewriting","type":"string"},"datatype":"string"},"type":"statement","id":"Q730473$54356037-9B08-4CA6-BD80-B2B7CEE2B4AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8af76bfbe81b16541cca3b1ddbd068d9d6b8d69f","datavalue":{"value":"normal forms","type":"string"},"datatype":"string"},"type":"statement","id":"Q730473$9A7D5A04-24D1-4A26-8CAA-13FA330B0B19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2b007370a99bebc37e2bc4f410d6ddac3e309d88","datavalue":{"value":"normal theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q730473$B43E5294-F3E3-4BDF-B7F1-5BDCD0B97852","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"97b930226a3d323ae2711ac3a072d07f4735865b","datavalue":{"value":"operational termination","type":"string"},"datatype":"string"},"type":"statement","id":"Q730473$4B0030B3-B031-40B3-BB34-F94F7066A15D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"302e7bd67d2646d1e0615c1195ca61ad56775360","datavalue":{"value":"rewriting logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q730473$72A0F6C7-5F04-4F86-8B94-C6B91DA83D11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7837ca7b4ed6a21f47990cc2562459286134de64","datavalue":{"value":"Maude","type":"string"},"datatype":"string"},"type":"statement","id":"Q730473$9D7AFD84-A25E-4E76-BCC3-0E40DB7059E4","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"4840352b17217b124b50c88ee4bd6bcc958c902f","datavalue":{"value":{"entity-type":"item","numeric-id":17510,"id":"Q17510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q730473$F690F0DD-323E-428E-A0F6-CD42AA952A6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a9cc08f1ee64c2fc0d984a8fe54c7c857eeb0cc4","datavalue":{"value":{"entity-type":"item","numeric-id":18366,"id":"Q18366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q730473$82D5FC89-929A-4A23-B7AE-B070779F3F1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ebe6f223efc2405cf071214b7d4e0e7858bf57fc","datavalue":{"value":{"entity-type":"item","numeric-id":18367,"id":"Q18367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q730473$57522086-524C-4113-93F0-B86B622A4516","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":"Q730473$0C190015-7871-4922-9DFF-2DED911E80B0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6aafac367a4f9b9bd14887a830185bac6364b05b","datavalue":{"value":"https://doi.org/10.1016/j.jlamp.2015.06.001","type":"string"},"datatype":"url"},"type":"statement","id":"Q730473$9FFE4C2B-7DC6-4AFE-A262-5565AADF710D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b0fd6f5245e7d8f6e902cc27596279a45f3eaf6f","datavalue":{"value":"W1140833825","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q730473$31C9FB56-C153-4A45-9434-54A309F166C5","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee132c4e5792ab38a0ff46d3d93155b8fcbe98d8","datavalue":{"value":{"entity-type":"item","numeric-id":1978641,"id":"Q1978641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q730473$E62C63A4-EC12-4A27-97DC-510D865763D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a03dacafad2ff19ded175ac7d62381d002687606","datavalue":{"value":{"entity-type":"item","numeric-id":1111368,"id":"Q1111368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q730473$40D83251-FE15-4074-A680-268BE7A91F76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"69bd394a77de6a66e7c3ead14354e268bd49cc00","datavalue":{"value":{"entity-type":"item","numeric-id":997833,"id":"Q997833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q730473$1486EC47-A102-44C7-AE6B-F71046975DF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11f8ef03a702d69c585c63b326a09f44c5b6e4af","datavalue":{"value":{"entity-type":"item","numeric-id":2271899,"id":"Q2271899"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q730473$806C8A19-87D6-43A4-8E51-070FC5A79DAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8cd5062ef7190bb31eab0c47c266fd2bf8ffbf0","datavalue":{"value":{"entity-type":"item","numeric-id":3655204,"id":"Q3655204"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q730473$FDA82D39-9A34-45A7-993B-2BF36166A70D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"685b6f2241ca731964008614149743ea5d098bf5","datavalue":{"value":{"entity-type":"item","numeric-id":2715825,"id":"Q2715825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q730473$E01B2BA8-4464-4D8C-877E-C0047BCD0864","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3239d3bc022112b37f4da6991a3c7bf09667ee35","datavalue":{"value":{"entity-type":"item","numeric-id":1196302,"id":"Q1196302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q730473$60B1AE57-55D5-4AEA-B670-0BB939A7C98F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b28ff8a4a0483a6768a1905df4bd074926e8216d","datavalue":{"value":{"entity-type":"item","numeric-id":5432344,"id":"Q5432344"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q730473$93EAA9A2-983D-4E39-A66C-6305E3D793BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"849241baa6b3c56591969b2586e51dae90f667cf","datavalue":{"value":{"entity-type":"item","numeric-id":3816048,"id":"Q3816048"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q730473$06D077AC-003D-48C7-B210-88DFE3EE7CC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de9f23bc58febcc60aff99ac387949cd328d3079","datavalue":{"value":{"entity-type":"item","numeric-id":1065790,"id":"Q1065790"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q730473$4735697D-97B0-4BC3-91D0-D6E82F112580","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2f77c9f0b209bffb78ce37325c9477c70ceaf77","datavalue":{"value":{"entity-type":"item","numeric-id":1041807,"id":"Q1041807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q730473$FA8E828D-20BC-471F-8C3D-2F1B34BFD4C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5419da7cb60bbaa69ca1635f6f3b33c23f6705bd","datavalue":{"value":{"entity-type":"item","numeric-id":2945137,"id":"Q2945137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q730473$88CB954C-C550-45C9-9AD2-BE53A3552BCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"228853110820f9d1830a56a127df3e45f7ac889a","datavalue":{"value":{"entity-type":"item","numeric-id":5256340,"id":"Q5256340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q730473$BAF644C9-8175-4811-B04A-A3C4BC5A94E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c264d0378a5f30df399a3e5c6ab315df59ddacaa","datavalue":{"value":{"entity-type":"item","numeric-id":1190488,"id":"Q1190488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q730473$2ADE33EF-0C9A-4EEF-80F6-F6A789710D24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"35de7df0c420175ccefc3da8012590103dbdf602","datavalue":{"value":{"entity-type":"item","numeric-id":3839051,"id":"Q3839051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q730473$D6594B5D-68CD-4F0C-8827-D9A2C12790EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7585a3414ed5d460ebd13d62b6e4dd63859751d","datavalue":{"value":{"entity-type":"item","numeric-id":2811360,"id":"Q2811360"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q730473$ADA246E8-7488-4B16-91E5-F88295C04408","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc91f97f4610232fc0f4f16dad485e27866f89e2","datavalue":{"value":{"entity-type":"item","numeric-id":2783416,"id":"Q2783416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q730473$54F5DA10-170F-44DC-9596-33363DFB2D0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb01132ff078294ff34f5679c3984622fdbd54a5","datavalue":{"value":{"entity-type":"item","numeric-id":2945139,"id":"Q2945139"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q730473$5D08FCD4-D807-4736-B383-E0DE2A33D649","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4cc846e4285dd73747ab89d2dd8d67254289009","datavalue":{"value":{"entity-type":"item","numeric-id":4799892,"id":"Q4799892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q730473$6BFCE47E-9F5E-46EA-9DD4-5A8F2404E727","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f5ba768d5535cb89837cb76303bb0a20b79390a5","datavalue":{"value":{"entity-type":"item","numeric-id":2715823,"id":"Q2715823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q730473$17A306DE-323C-4828-A15A-CB64138A24FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"27794eeffce4bf0bd1a5c3cadef3ee24d0346726","datavalue":{"value":{"entity-type":"item","numeric-id":1978646,"id":"Q1978646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q730473$D3E8F92E-A84A-4A88-970B-0C348C85B437","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"433fa0ef9e2fd9963ebf5a7d521b00ef5f96e199","datavalue":{"value":"10.1016/J.JLAMP.2015.06.001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q730473$EB649419-9AC3-4C93-A9DE-7CC6049E4B2A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f1f9cb04dd8bfa2b0667642bb4fc9b678f1a9432","datavalue":{"value":{"entity-type":"item","numeric-id":2945137,"id":"Q2945137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d0151a722facde9980662e6788005c4b372024cb","datavalue":{"value":{"amount":"+0.9208033084869384","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":"Q730473$BCCFF28C-43A3-4F64-A0E5-27F5C222B3F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"11657cab5da6ccda3d74863e31abdc7ede599c07","datavalue":{"value":{"entity-type":"item","numeric-id":3820053,"id":"Q3820053"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9cd141b3cac2e41dddebbdfcfefd772c4f405358","datavalue":{"value":{"amount":"+0.828994631767273","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":"Q730473$8CC3F444-CD55-4C1C-BD55-54D2BCAA2F07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"88d03574835f8ed7c41930da9abcbddca8bc2a6c","datavalue":{"value":{"entity-type":"item","numeric-id":1111368,"id":"Q1111368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0099f5050d61a9c8d62cae815ed950afe11c24e4","datavalue":{"value":{"amount":"+0.8103624582290649","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":"Q730473$84882AA6-992E-4250-AB98-6823B8470199","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4e25c0dc71325e23a4e3ab92f687918a8041e21c","datavalue":{"value":{"entity-type":"item","numeric-id":3817657,"id":"Q3817657"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3a030ae0ed1564efa0622e7b96488c85ca9d4144","datavalue":{"value":{"amount":"+0.8047528862953186","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":"Q730473$478DCC12-6F85-4334-B7EA-C5A102F809AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d5fba29b8c33e16e6b5e17d1279d611ec3082c9f","datavalue":{"value":{"entity-type":"item","numeric-id":1065790,"id":"Q1065790"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bcd87369e485359c29331955412b471ad3601dd3","datavalue":{"value":{"amount":"+0.7975689172744751","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":"Q730473$A5617125-81DB-428A-8267-3D25A2B68C7E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Normal forms and normal theories in conditional rewriting","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Normal_forms_and_normal_theories_in_conditional_rewriting"}}}}}