{"entities":{"Q5446175":{"pageid":7475734,"ns":120,"title":"Item:Q5446175","lastrevid":96359975,"modified":"2026-06-05T11:02:10Z","type":"item","id":"Q5446175","labels":{"en":{"language":"en","value":"Basic rewriting via logic programming, with an application to the reachability problem"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5244073"}},"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":"Q5446175$3794A3C5-5959-4534-A947-B87A91565ECC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"977366b3d227e69281a65a725409a33ed3eefb10","datavalue":{"value":"1149.68390","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5446175$1CAD6DE0-7674-4B6A-B645-1FF29BB0B55F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1a0a7d6ec5434254be6a0e1c98f710f162b50225","datavalue":{"value":{"entity-type":"item","numeric-id":877841,"id":"Q877841"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5446175$0A81ADFA-249A-4E3D-94FB-D08388DA156C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7af07974ad8783087ab1b975cd3d810e876a707f","datavalue":{"value":{"entity-type":"item","numeric-id":671654,"id":"Q671654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5446175$DFEBF7DE-7BCE-4EF3-A51B-0C6DEE699E3F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"cf82d0ee1f43b6e127707e975562f6a0a8754bd6","datavalue":{"value":{"time":"+2008-03-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5446175$5E356EAA-5ACE-4F92-88C5-78F2870EE6DC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5446175$2DD2D404-FC4A-4E40-89F6-78635075CE0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5446175$01C7FBB6-A389-419C-B158-65C1019E1B81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5446175$76BF48E9-F844-44F3-841B-2DCD79A5AA33","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e781a74d8ad443647d75408fcf00df2a28c48cab","datavalue":{"value":"5244073","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5446175$6EA54D2E-AB32-47EB-A9EE-09F66F59AAD6","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":"Q5446175$D951FAFC-334F-4DAC-894B-01D08DB8ECD7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b7e0f3012050f4fe135eaa9629e2716245665a19","datavalue":{"value":{"entity-type":"item","numeric-id":5901568,"id":"Q5901568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4f81fd3f6c6f7ce84aa66f5540e543976efd8de6","datavalue":{"value":{"amount":"+0.8335791826248169","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":"Q5446175$E8E3738B-77F8-4244-B446-7254A33FF736","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"00f7a023baa30862b78e642630af08fd187940c4","datavalue":{"value":{"entity-type":"item","numeric-id":3707361,"id":"Q3707361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"97bfcec9129aefc8e1ddba63674b98af9a9c33a8","datavalue":{"value":{"amount":"+0.7774050831794739","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":"Q5446175$D4510690-3333-4396-8866-7F565870936B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5d1e19c3d632023ac38e016e86cf8ee20a8ea283","datavalue":{"value":{"entity-type":"item","numeric-id":4916227,"id":"Q4916227"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"00d0260f7fc725027518f62ade04f8a8e3539930","datavalue":{"value":{"amount":"+0.772937536239624","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":"Q5446175$039216E8-7974-403A-9AE1-022203D1033D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d26436a96f7d2cf431beb31dc392294cc47579b0","datavalue":{"value":{"entity-type":"item","numeric-id":5134281,"id":"Q5134281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b509ddad4c9c7c2da940f7bc96ec9fde29caf6bf","datavalue":{"value":{"amount":"+0.7695407867431641","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":"Q5446175$D4B06577-BE2F-46F9-AA25-501C8D266A94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bc36cb8e1ae01bf28e3cbd7a3b429ab93dd26a39","datavalue":{"value":{"entity-type":"item","numeric-id":3979263,"id":"Q3979263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"72d617f1a94e3ae4dee800dbf30e00d704981caa","datavalue":{"value":{"amount":"+0.7664426565170288","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":"Q5446175$4670D7F6-0BCF-4D89-94F6-B5F7574953D2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Basic rewriting via logic programming, with an application to the reachability problem","badges":[]}}}}}